Core Jurusan Teknik Informatika Kode MK/SKS : TIF 01 0 2 05/2 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
Revisi 03 Logika Informatika HUKUM EKUIVALENSI LOGIKA Andaikan p, q, r suatu proposisi, maka konsekuen si-konsekuensi dan ekuivalensi-ekuivalensi 31/12/2011 Revisi 03 Logika Informatika
Revisi 03 Logika Informatika HUKUM EKUIVALENSI LOGIKA Hukum Tetapan/Hukum Ikatan p T p , p F F , p T T, p F p Hukum excluded middle/Negasi p ~ p T Hukum Kontradiks/Negasi p ~p F Hukum negasi ganda ~ ~ p p Hukum Idempotensi p p p p p p Hukum Komutatif pq qp pq qp Hukum Asosiatif p(qr) (pq)r p(qr) (pq)r 31/12/2011 Revisi 03 Logika Informatika
Revisi 03 Logika Informatika HUKUM EKUIVALENSI LOGIKA Hukum Distributif p(qr) (pq)(pr) p(qr) (pq)(pr) Hukum De Morgan ~ (pq) (~ p~ q) ~ (p q) (~ p~ q) Hukum Implikasi p→q ~ pq Hukum Kontraposisi/Kontrapositif p→q ~ q→~ p Hukum Bikondisional p↔q (p→q) (q→p) Hukum Absorbsi p (p q) p p (p q) p 31/12/2011 Revisi 03 Logika Informatika
Revisi 03 Logika Informatika Contoh 1. Tanpa menggunakan tabel kebenaran tunjukan bahwa : p (p q) p 31/12/2011 Revisi 03 Logika Informatika
Revisi 03 Logika Informatika Contoh 1. Penyelesaian : Pembuktian dengan Tabel Kebenaran Cari dengan Tabel Kebenaran 31/12/2011 Revisi 03 Logika Informatika
Revisi 03 Logika Informatika 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