Core Jurusan Teknik Informatika Kode MK/SKS : TIF /2

Presentasi berjudul: "Core Jurusan Teknik Informatika Kode MK/SKS : TIF /2"— Transcript presentasi:

1 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 /2 31/12/2011 Revisi 03 Logika Informatika

2 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

3 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 pq  qp pq qp Hukum Asosiatif p(qr)  (pq)r p(qr)  (pq)r 31/12/2011 Revisi 03 Logika Informatika

4 Revisi 03 Logika Informatika
HUKUM EKUIVALENSI LOGIKA Hukum Distributif p(qr)  (pq)(pr) p(qr)  (pq)(pr) Hukum De Morgan ~ (pq)  (~ p~ q) ~ (p q)  (~ p~ q) Hukum Implikasi p→q  ~ pq 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

5 Revisi 03 Logika Informatika
Contoh 1. Tanpa menggunakan tabel kebenaran tunjukan bahwa : p  (p  q)  p 31/12/2011 Revisi 03 Logika Informatika

6 Revisi 03 Logika Informatika
Contoh 1. Penyelesaian : Pembuktian dengan Tabel Kebenaran Cari dengan Tabel Kebenaran 31/12/2011 Revisi 03 Logika Informatika

7 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