Patlama ilkesi: p, ¬p ⊨ q geçerli mi?

p ve ¬p'den her şey gelir: hiçbir atama iki öncülü birden doğru kılmaz, dolayısıyla hiçbiri onları doğru kılıp sonucu yanlış bırakamaz.

Geçerlip, ¬p ⊨ q

Tablonun bütün dalları kapanıyor, yani hiçbir atama öncülleri doğru, sonucu yanlış yapmıyor.