Öncülü yadsıma: p→q, ¬p ⊨ ¬q geçerli mi?
Bir safsata: p → q, p yanlış olduğunda ne olacağı hakkında bir şey söylemez; bu yüzden ¬p, q'yu açık bırakır. Aşağıdaki açık dal p yanlışken q'yu doğru 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
- 4Yanlış: p2. satırdan
- 5Doğru: q3. satırdan
- 6Yanlış: p1. satırdan
Dal açık.p = ⊥, q = ⊤
- 7Doğ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 = ⊤