Ayrık önermeyi doğrulama: p∨q, p ⊨ ¬q geçerli mi?
Bir safsata: p ∨ q kapsayıcıdır, iki yan aynı anda geçerli olabilir. p'yi bilmek q hakkında bir şey söylemez; aşağıdaki açık dal bunu gösterir.
Geçersiz
p∨q, p ⊨ ¬qBir 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: pöncül
- 3Yanlış: ¬qsonucun değillemesi
- 4Doğru: q3. satırdan
- 5Doğru: p1. satırdan
Dal açık.p = ⊤, q = ⊤
- 6Doğ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 = ⊤