Diskusi 3 Logika Informatika

Nama : AL RIFAD SAZILI

NIM : 044382925
UPBJJ : PALEMBANG

Diketahui dua kalimat E : Not P or (if P then Not Q) dan F: (Q if and only if
P) and not Q, periksa apakah E implies F.

Untuk menentukan apakah dua kalimat implies atau tidak lebih mudah dengan
menggunakan tabel kebenaran (periksa kembali definisi E Implies F ).
P Q notP notQ If P then not Q Q if and only if P E F
F F T F T F T T
F T T F T F T F
T F F T T F T F
T T F T F T F F

Menurut definisi, E implies F jika untuk setiap intepretasi I untuk kedua

kalimat E dan F, jika E true di bawah I maka F true di bawah I. Akan tetapi,
dari tabel kebenaran di atas terlihat ada dua intepretasi I2 : {P ← false, Q ← true
}, dan I3 : { P ← true, Q ← false } yang menyalahi persyaratan. Karena nilai E
di bawah I2 dan I3 true, tetapi nilai F false. Jadi tidak berlaku E implies F.

Referensi dari BMP MSIM4103 Logika Informatika Modul 3 hal,3.30-3.31