Core Jurusan Teknik Informatika Kode MK/SKS : TIF 01 0 2 05/2 OPERATOR 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 OPERATOR NEGASI Dalam kalimat : tidak, bukan, atau not. Simbolnya adalah atau Bernilai kebalikan dari input. 31/12/2011 Revisi 03 Logika Informatika
Revisi 03 Logika Informatika OPERATOR KONJUNGSI Dalam kalimat : dan, and, tetapi. Simbolnya adalah . Semua input bernilai True, outputnya True 31/12/2011 Revisi 03 Logika Informatika
Revisi 03 Logika Informatika OPERATOR DISJUNGSI Dalam kalimat : atau, or. Simbolnya adalah Semua input bernilai False, outputnya adalah False 31/12/2011 Revisi 03 Logika Informatika
Revisi 03 Logika Informatika OPERATOR IMPLIKASI Dalam kalimat : jika….. Maka….. Simbolnya adalah Nilai Input True dan False, outputnya adalah False (bukan sebaliknya) 31/12/2011 Revisi 03 Logika Informatika
Revisi 03 Logika Informatika OPERATOR BIIMPLIKASI Dalam kalimat : … jika dan hanya jika….. Simbolnya adalah Nilai input Sama, outputnya adalah True 31/12/2011 Revisi 03 Logika Informatika
Revisi 03 Logika Informatika HIRARKI OPERATOR Pengurutan operator mana yang akan diselesaikan terlebih dahulu. 1. atau 2. 3. 4. 5. 31/12/2011 Revisi 03 Logika Informatika
Revisi 03 Logika Informatika TABEL KEBENARAN a b a a b a v b a b a b T F 31/12/2011 Revisi 03 Logika Informatika
Revisi 03 Logika Informatika EKSPRESI LOGIKA Argumen dari logika. Mengkaji hubungan antara pernyataan- pernyataan (statement). 31/12/2011 Revisi 03 Logika Informatika
Revisi 03 Logika Informatika Diketahui Variabel-Variabel Proposisional: P = lampu lalu lintas menyala merah Q = kendaraan berhenti Diminta : Buatlah Ekspresi Logika dan Kalkulus proposisi nya Dengan Ekspresi Logika: (P Q) P Q 31/12/2011 Revisi 03 Logika Informatika
Revisi 03 Logika Informatika Pernyataan (Argumen) Logika / Kalkulus Proposisi: Tidak benar bahwa lampu lalu lintas menyala merah dan kendaraan berhenti. Lampu lalu lintas menyala merah atau kendaraan tidak berhenti. 31/12/2011 Revisi 03 Logika Informatika
Revisi 03 Logika Informatika Konvers, Invers, dan Kontraposisi Misal diketahui implikasi p q Konvers-nya adalah q p Invers-nya adalah ~ p ~ q Kontraposisinya adalah ~ q ~p Kondisional Konversi Invers Kontraposisi p q p q p q q p pq q p T F 31/12/2011 Revisi 03 Logika Informatika