[ Pobierz całość w formacie PDF ]

(4.2). 5 ((p '" q) Ò! r) Ò! ((
Posługując się skrótową metodą zerojedynkową, szybko wykry-
jemy, że formuła ta jest falsyfikowana przez podstawienie zer za
p i q oraz podstawienie jedynki za r. Istnieją więc podstawienia,
przy których formuła ta staje się fałszywa, a zatem nie jest ona
prawem logiki. By ukonkretnić ten wynik, można rozważyć pod-
stawienia konkretnych zdań, np. te, które się złożą na następujące
wnioskowanie. Jeśli każdy (człowiek) ma 5 metrów wzrostu i
każdy waży tonę, to istnieją ciała o masie tony. A zatem jeśli nie
każdy ma 5 metrów wzrostu i nie każdy waży tonę, to nie istnieją
ciała o masie tony. Tego rodzaju przykład, służący do wykaza-
nia, że dana formuła nie jest spełniona dla wszelkich podstawień
określamy mianem kontrprzykładu.
Rachunek zdań nie wyczerpuje całego bogactwa rozumowań,
ani tego, które ogarnia teoria logiczna, ani tego, które za-
wdzięczamy naszej naturalnej logice. Zdanie sprawy z innych
form wnioskowania jest zadaniem następnych rozdziałów. [ Pobierz całość w formacie PDF ]