Pytanie w załączniku, prosiłbym o krótkie wyjaśnienie.

Implikacja jest tylko wtedy fałszywa gdy z prawdy wynika fałsz czyli mamy wartości p = 1 i q = 0 Stąd [latex]~p = 0[/latex] [latex](~p Rightarrow (q cup p)) = 1[/latex] czyli [latex](~p Rightarrow (q cup p)) Rightarrow q equiv 1 Rightarrow 0 = 0[/latex]