Aşağıdaki sorunun çözüm adımlarını görmek için çözüm düğmesine tıklayınız.
Önermeler doğruluk çizelgesine yerleştirilir. Çıkarımın öncülleri Ʌ, sonuç da öncüllere ⇒ eklemiyle bağlanır.
Doğruluk tablosuna basitten bileşiğe doğru yerleştirilen önermeye doğruluk değerleri verilerek çözümlenir.
Önerme, bir yanlış değeri aldığı için geçersizdir. Dolayısıyla çıkarım da geçersizdir.