ARGUMEN dan VALIDITAS Dengan HUKUM HUKUM EKUIVALENSI LOGIKA
- Slides: 7
ARGUMEN dan VALIDITAS Dengan HUKUM – HUKUM EKUIVALENSI LOGIKA Core Jurusan Teknik Informatika Kode MK/SKS : TIF 01 0 2 05/2 31/12/2011 Revisi 03 Logika Informatika 1
HUKUM EKUIVALENSI LOGIKA Andaikan p, q, r suatu proposisi, maka konsekuen si-konsekuensi dan ekuivalensi-ekuivalensi 31/12/2011 Revisi 03 Logika Informatika 2
HUKUM EKUIVALENSI LOGIKA Hukum Tetapan/Hukum Ikatan Hukum excluded middle/Negasi p T p , p F F , p T T, p F p p ~p T Hukum Kontradiks/Negasi Hukum negasi ganda p ~p F ~~ p p Hukum Idempotensi p p p Hukum Komutatif p q q p p q q p Hukum Asosiatif p (q r) (p q) r 31/12/2011 Revisi 03 Logika Informatika 3
HUKUM EKUIVALENSI LOGIKA p (q r) (p q) (p r) Hukum Distributif p (q r) (p q) (p r) Hukum De Morgan ~ (p q) ~ (p (~ p ~ q) q) (~ p ~ q) Hukum Implikasi p→q ~ p q Hukum Kontraposisi/Kontrapositif Hukum Bikondisional p→q ~ q→~ p Hukum Absorbsi p (p q) p p↔q (p→q) (q→p) p (p q) p 31/12/2011 Revisi 03 Logika Informatika 4
Contoh 1. Tanpa menggunakan tabel kebenaran tunjukan bahwa : p (p q) p 31/12/2011 Revisi 03 Logika Informatika 5
Contoh 1. Penyelesaian : a. Pembuktian dengan Tabel Kebenaran Cari dengan Tabel Kebenaran 31/12/2011 Revisi 03 Logika Informatika 6
Contoh 1. Penyelesaian : b. Pembuktian dengan Hukum-hukum Logika p (p q) = (p F) (p q) Aturan 1 = p (F q) Aturan 8 = p F Aturan 1 = p Aturan 1 Kesimpulan bahwa Ekuivalen 31/12/2011 Revisi 03 Logika Informatika 7
