KHRISNA YUDHA PRATAMA

044141262
DIKETAHUI DUA KALIMAT E : notP or (if P then notQ) dan F : (Q if and only if P) and not Q
periksalah 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 notQ Q if and only if P E F

false false true true true true true true
false true true false true false true false
true false false true true false true false
true true false false false true false false

Menurut definisi, E implies F jika untuk setiap interpretasi 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
interpretasi I₂ : {P ← false, Q ← true), dan I₃ : {P ← true, Q ← false} yang menyalahi persyaratan.
Karena nilai E di bawah I₂ dan I₃ true, tetapi nilai F false. Jadi tidak berlaku E implies F
Sumber Modul MSIM4103