pembuktian logika
DESCRIPTION
Logika MatematikaTRANSCRIPT
![Page 1: Pembuktian Logika](https://reader036.vdocuments.mx/reader036/viewer/2022082613/55cf96b7550346d0338d53d7/html5/thumbnails/1.jpg)
Pembuktian Logika
![Page 2: Pembuktian Logika](https://reader036.vdocuments.mx/reader036/viewer/2022082613/55cf96b7550346d0338d53d7/html5/thumbnails/2.jpg)
Pembuktian Logika
• Tabel Kebenaran
• Penyederhanaan
• Aturan Inferensi
![Page 3: Pembuktian Logika](https://reader036.vdocuments.mx/reader036/viewer/2022082613/55cf96b7550346d0338d53d7/html5/thumbnails/3.jpg)
Penyederhanaan
• Menggunakan hukum-hukum logika
• Dengan menggunakan hukum-hukum logika untuk mendapatkan bentuk yang paling sederhana
• Penyederhanaan ekspresi logika ini dibuat sesederhana mungkin dan sudah tidak dimungkinkan dimanipulasi lagi.
![Page 4: Pembuktian Logika](https://reader036.vdocuments.mx/reader036/viewer/2022082613/55cf96b7550346d0338d53d7/html5/thumbnails/4.jpg)
Contoh
• (A ∨ 0) ∧ (A ∨ ¬A)
• (A ∧ ¬B) ∨ (A ∧ B ∧ C)
• ¬A → ¬(A → ¬B)
![Page 5: Pembuktian Logika](https://reader036.vdocuments.mx/reader036/viewer/2022082613/55cf96b7550346d0338d53d7/html5/thumbnails/5.jpg)
Inferensi
• Definisi:
Diberikan sejumlah premis A, B, C, D, ... Masing-masing dapat berupa pernyataan yang panjang. Dari premis-premis tersebut dapat disimpulkan K.
• Metode:
Teknik untuk menurunkan kesimpulan berdasarkan hipotesa yang ada, tanpa harus menggunakan tabel kebenaran
![Page 6: Pembuktian Logika](https://reader036.vdocuments.mx/reader036/viewer/2022082613/55cf96b7550346d0338d53d7/html5/thumbnails/6.jpg)
Metode-Metode Inferensi
• Modus Ponens
• Modus Tollens
• Penambahan disjungtif
• Penyederhanaan konjungtif
• Silogisme Disjungtif
• Silogisme Hipotesis
• Dilema (pembagian dalam beberapa kasus)
• Konjungsi
![Page 7: Pembuktian Logika](https://reader036.vdocuments.mx/reader036/viewer/2022082613/55cf96b7550346d0338d53d7/html5/thumbnails/7.jpg)
Simbol Modus Ponens Contoh:
• Jika digit terakhir suatu bilangan adalah 0, maka bilangan tersebut habis dibagi 10.
• Digit terakhir suatu bilangan adalah 0.
Bilangan tersebut habis dibagi 10.
p → q
p
q
![Page 8: Pembuktian Logika](https://reader036.vdocuments.mx/reader036/viewer/2022082613/55cf96b7550346d0338d53d7/html5/thumbnails/8.jpg)
Simbol Modus Tollens Contoh:
• Jika Zeus seorang manusia, maka ia dapat mati
• Zeus tidak dapat mati
Zeus bukan seorang manusia
p → q
¬q
¬p
![Page 9: Pembuktian Logika](https://reader036.vdocuments.mx/reader036/viewer/2022082613/55cf96b7550346d0338d53d7/html5/thumbnails/9.jpg)
Penambahan Disjungtif Contoh:
• Simon adalah siswa SMU (Sekolah Menengah Umum)
• Simon adalah siswa sekolah menengah (SMU atau SMP)
p
p ∨ q
q
p ∨ q
![Page 10: Pembuktian Logika](https://reader036.vdocuments.mx/reader036/viewer/2022082613/55cf96b7550346d0338d53d7/html5/thumbnails/10.jpg)
Penyederhanaan Konjungtif Contoh:
• Lina menguasai bahasa Basic dan Pascal
• Lina menguasai bahasa Basic
p ∧ q
p
p ∧ q
q
![Page 11: Pembuktian Logika](https://reader036.vdocuments.mx/reader036/viewer/2022082613/55cf96b7550346d0338d53d7/html5/thumbnails/11.jpg)
Silogisme Disjungtif Contoh:
• Kunci kamarku ada di sakuku atau tertinggal di rumah
• Kunci kamarku tidak ada di sakuku
kunci kamarku tertinggal di rumah
p ∨ q
¬p
q
p ∨ q
¬q
p
![Page 12: Pembuktian Logika](https://reader036.vdocuments.mx/reader036/viewer/2022082613/55cf96b7550346d0338d53d7/html5/thumbnails/12.jpg)
Silogisme Hipotesis Contoh:
• Jika 18486 habis dibagi 18, maka 18486 habis dibagi 9.
• Jika 18486 habis dibagi 9, maka jumlah digit-digitnya habis dibagi 9.
• Jika 18486 habis dibagi 18, maka jumlah digit-digitnya habis dibagi 9.
p → q
q → r
p → r
![Page 13: Pembuktian Logika](https://reader036.vdocuments.mx/reader036/viewer/2022082613/55cf96b7550346d0338d53d7/html5/thumbnails/13.jpg)
Dilema Contoh:
• Nanti malam Firdaus mengajak saya nonton atau mengajak saya makan di restoran.
• Jika Firdaus mengajak saya nonton, maka saya akan senang
• Jika Firdaus mengajak saya makan di restoran, maka saya akan senang
• Nanti malam saya akan senang
p ∨ q
p → r
q → r
r
![Page 14: Pembuktian Logika](https://reader036.vdocuments.mx/reader036/viewer/2022082613/55cf96b7550346d0338d53d7/html5/thumbnails/14.jpg)
Kasus
Pada suatu hari anda hendak pergi ke kampus dan baru sadar bahwa anda tidak memakai kacamata. Setelah mengingat-ingat, ada beberapa fakta yang anda pastikan kebenarannya:
a. Jika kacamataku ada di meja dapur, maka aku pasti sudah melihatnya ketika sarapan pagi.
b. Aku membaca koran di ruang tamu atau aku membacanya di dapur.
![Page 15: Pembuktian Logika](https://reader036.vdocuments.mx/reader036/viewer/2022082613/55cf96b7550346d0338d53d7/html5/thumbnails/15.jpg)
Kasus (lanjutan)
c. Jika aku mambaca koran di ruang tamu, maka pastilah kacamata ku letakkan di meja tamu.
d. Aku tidak melihat kacamataku pada saat sarapan pagi.
e. Jika aku membaca buku di ranjang, maka kacamata kuletakkan di meja samping ranjang.
f. Jika aku membaca koran di dapur, maka kacamataku ada di meja dapur.
Berdasarkan fakta-fakta tersebut, tentukan di mana letak kacamata tersebut!