OPERATOR LOGIKA Core Jurusan Teknik Informatika Kode MKSKS

OPERATOR LOGIKA Core Jurusan Teknik Informatika Kode MK/SKS : TIF 01 0 2 05/2 31/12/2011 Revisi 03 Logika Informatika 1

OPERATOR NEGASI Dalam kalimat : tidak, bukan, atau not. Simbolnya adalah atau Bernilai kebalikan dari input. 31/12/2011 Revisi 03 Logika Informatika 2

OPERATOR KONJUNGSI Dalam kalimat : dan, and, tetapi. Simbolnya adalah . Semua input bernilai True, outputnya True 31/12/2011 Revisi 03 Logika Informatika 3

OPERATOR DISJUNGSI Dalam kalimat : atau, or. Simbolnya adalah Semua input bernilai False, outputnya adalah False 31/12/2011 Revisi 03 Logika Informatika 4

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 5

OPERATOR BIIMPLIKASI Dalam kalimat : … jika dan hanya jika…. . Simbolnya adalah Nilai input Sama, outputnya adalah True 31/12/2011 Revisi 03 Logika Informatika 6

HIRARKI OPERATOR Pengurutan operator mana diselesaikan terlebih dahulu. 1. atau 2. 3. 4. 5. 31/12/2011 Revisi 03 Logika Informatika yang akan 7

TABEL KEBENARAN a T T F F 31/12/2011 b T F a a b avb a b F T T F F T T Revisi 03 Logika Informatika 8

EKSPRESI LOGIKA Argumen dari logika. Mengkaji hubungan antara pernyataan (statement). 31/12/2011 Revisi 03 Logika Informatika 9

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 10

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 11

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 Kontraposis i p q p q p q q p p q q p T T F F T T F F T F F T T T 31/12/2011 Revisi 03 Logika Informatika 12