Çift değilleme: ¬¬p ⊨ p geçerli mi?
¬¬p ile p aynı satırlarda doğrudur; bu yüzden çift değilleme nerede olursa olsun düşürülebilir. İki değilleme birbirini götürür.
Geçerli
¬¬p ⊨ pTablonun bütün dalları kapanıyor, yani hiçbir atama öncülleri doğru, sonucu yanlış yapmıyor.
Kanıt (anlamsal tablo)
- 1Doğru: ¬¬pöncül
- 2Yanlış: psonucun değillemesi
- 3Yanlış: ¬p1. satırdan
- 4Doğru: p3. satırdan
Dal kapandı: 4. satır 2. satırla çelişiyor.
kapalı dal