Metoda 0-1 (kolokwium)
A. Jeżeli na imprezie jest Wacek z Tytusem, to impreza nie może się udać. Wczorajsza impreza należy do bardzo udanych. Wśród wielu gości na pewno nie mogło być W i T.
p-na imprezie jest W i T
q-impreza nie jest udana
(p->q)/\ ~q -> ~p
1 1 1 1 1 0 0 1
0 0
Jest sprzeczność – wniosek wynika logicznie z przesłanek.
B. Jeżeli Robert zdecydował sie studiować politologię, to musiał rzucić pracę w Pizza-Hut. Robert pracuje w Pizza-Hut. a zatem najwyraźniej nie studiuje juz politologii.
p-Robert studiuje politologię
q-R pracuje w PH
(p->~q)/\ q-> ~p
1 10 1 1 1 0 1
0
Jest sprzeczność – ten schemat jest prawem logiki.
C. Jeśli stryj nam nie pomoże, to nigdy nie spłacimy długów, ale od początku naszych trudności stryj nam bardzo pomaga. Po życzliwej rozmowie stryj nam pomógł i spłaciliśmy wszystkie nasze długi.
[(~p ~ q) p] (p /\ q)
0 1 1 0 1 1 1 1 0 1
1 0 0 1 0 0 0 0
Brak sprzeczności – nie jest to schemat logiki – wniosek nie wynika logicznie z przesłanek.