Negation


THEOREM    Negation is idempotent.

Proof available

THEOREM (Double negation introduction)    \(P \vdash \neg \neg P\)

Proof available

THEOREM (Double negation elimination)    \(\neg \neg P \vdash P\)

Proof available

Parent topics