Sonucu doğrulama: p→q, q ⊨ p geçerli mi?
Bir safsata: p → q ile q, p'yi açık bırakır; çünkü q, p ile hiç ilgisi olmayan nedenlerle geçerli olabilir. Aşağıdaki açık dal karşı modeli verir.
Geçersiz
p→q, q ⊨ pBir dal açık kalıyor, yani öncüller doğruyken sonuç yanlış olabilir.
Kanıt (anlamsal tablo)
- 1Doğru: p→qöncül
- 2Doğru: qöncül
- 3Yanlış: psonucun değillemesi
- 4Yanlış: p1. satırdan
Dal açık.p = ⊥, q = ⊤
- 5Doğru: q1. satırdan
Dal açık.p = ⊥, q = ⊤
açık dal
Karşı modeller
Bu atamalarda tüm öncüller doğru ama sonuç yanlıştır, dolayısıyla sonuç çıkmaz.
p = ⊥, q = ⊤