Untuk memeriksa apakah E mengimplikasi F, kita perlu menunjukkan bahwa jika E

benar, maka F juga harus benar.

E: notP or (if P then notQ) -> Kalimat ini menyatakan bahwa salah satu dari dua hal berikut
terjadi:

P tidak benar (notP)

P benar dan Q tidak benar (if P then notQ)

F: (Q if and only if P) and notQ -> Kalimat ini menyatakan dua hal:

Q benar jika dan hanya jika P benar (Q if and only if P)

Q tidak benar (notQ)

Untuk mengecek apakah E implies F, kita perlu memeriksa apakah ketika E benar,
maka F pasti benar juga.
Jika P tidak benar, maka notQ pasti benar. Dalam hal ini, F hanya akan benar jika notQ juga
benar, yang mana sudah disebutkan di kalimat F. Oleh karena itu, E implies F ketika P tidak
benar.

Namun jika P benar, maka kita perlu memeriksa apakah Q benar atau tidak. Dalam hal ini, dari
kalimat F, kita tahu bahwa Q benar jika dan hanya jika P benar. Oleh karena itu, jika P benar,
maka Q juga benar.

Kemudian, dari kalimat E, kita tahu bahwa jika P benar, maka notQ benar. Namun, hal ini
bertentangan dengan fakta bahwa Q benar (karena Q benar jika dan hanya jika P benar). Oleh
karena itu, jika P benar, maka not Q salah.

Dalam kesimpulan, E dan F tidak konsisten satu sama lain. Oleh karena itu, E tidak impiles F

P Q Not P Not Q (if P not P or Q if and Not Q (Q if and

then not (if P only if P only if P
Q) then not and not
Q) Q)
TRUE TRUE FALSE FALSE FALSE FALSE TRUE FALSE FALSE
TRUE FALSE FALSE TRUE TRUE TRUE FALSE TRUE FALSE
FALSE TRUE TRUE FALSE TRUE TRUE FALSE FALSE FALSE
FALSE FALSE TRUE TRUE TRUE TRUE TRUE TRUE TRUE