Explosionsprincipen: är p, ¬p ⊨ q giltigt?

Av p och ¬p följer vad som helst: ingen tilldelning gör båda premisserna sanna, så ingen kan göra dem sanna med falsk slutsats.

Giltigtp, ¬p ⊨ q

Varje gren i tablån sluts, så ingenting gör premisserna sanna och slutsatsen falsk samtidigt.