➡️ 2. Adım: Bu argümanın geçerliliğini kontrol etmek, [(p → q) ∧ ¬p] → ¬q önermesinin bir totoloji (her zaman doğru) olup olmadığını kontrol etmek demektir.
➡️ 3. Adım: Doğruluk tablosunu oluşturalım. Kritik satır, öncüllerin ikisinin de doğru olduğu satırdır.
p
q
p → q
¬p
(p→q)∧¬p (Öncüller)
¬q (Sonuç)
[(p→q)∧¬p] → ¬q
D
D
D
Y
Y
Y
D
D
Y
Y
Y
Y
D
D
Y
D
D
D
D
Y
Y
Y
Y
D
D
D
D
D
✅ Tabloda görüldüğü gibi, 3. satırda öncüller doğru (p→q ve ¬p ikisi de D) iken sonuç yanlış (¬q Y) çıkmaktadır. Bu nedenle bu çıkarım geçersizdir. Havanın güneşli olmaması, denize gidilmeyeceği anlamına gelmek zorunda değildir; başka bir sebeple de gidilmiş olabilir.