Logika bezendu: Sprawdź czy wyrażenie jest tautologią [(p∨q)∧~p]⇒q Czyli w tabelce muszę mieć p q ~p p∨q [(p∨q)∧~p]⇒q Czy coś pominąłem jeszcze ?

bezendu: ?

WW: p q ~p (p v q) ( [(p∨q)∧~p]) ([(p∨q)∧~p] ⇒q)

razor: w tabelce nic nie musisz mieć, od ciebie zależy czy potrzebujesz sobie pisać np. ~p czy umiesz to zrobić w pamięci

bezendu: Na razie jeszcze tego nie opanowałem, więc wolę tabelką robić.

asdf: http://www.math.uni.opole.pl/~ebryniarski/logika_dla_opornych.pdf na internecie sa tez gdzies odpowiedzi, wygogluj.