Zauważmy, że

• alternatywa dwóch zdań  $p\vee q$  jest prawdziwa gdy co najmniej jedno ze zdań p lub q jest prawdziwe.
• implikacja  $p\Rightarrow q$   jest fałszywa wtedy, gdy p jest zdaniem prawdziwym i q jest zdaniem fałszywym.

Stąd wiemy, że skoro

$p\Rightarrow q$

jest zdaniem fałszywym, to