Dobbel negasjon: er ¬¬p ⊨ p gyldig?
¬¬p og p er sanne i de samme radene, så en dobbel benektelse kan fjernes der den står. To negasjoner opphever hverandre.
Gyldig
¬¬p ⊨ pHver gren i tablået lukkes, så ingenting gjør premissene sanne og konklusjonen usann samtidig.
Bevis (semantisk tablå)
- 1Sant: ¬¬ppremiss
- 2Falsk: pnegert konklusjon
- 3Falsk: ¬pfra linje 1
- 4Sant: pfra linje 3
Gren lukket: linje 4 motsier linje 2.
lukket gren