Dubbel negation: är ¬¬p ⊨ p giltigt?

¬¬p och p är sanna i samma rader, så en dubbel negation kan strykas var den än står. Två negationer tar ut varandra.

Giltigt¬¬p ⊨ p

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