Dobbelt negation: Er ¬¬p ⊨ p gyldigt?

¬¬p og p er sande i de samme rækker, så en dobbelt benægtelse kan fjernes, hvor den end står. To negationer ophæver hinanden.

Gyldigt¬¬p ⊨ p

Alle tableauets grene lukker, så intet gør præmisserne sande og konklusionen falsk på én gang.