Double Negation/Double Negation Elimination/Formulation 1/Sequent Form

Theorem

The rule of Double Negation Elimination can be symbolised by the sequents:

Formulation 1

$\neg \neg p \vdash p$


Formulation 2

$\vdash \neg \neg p \implies p$
This article is issued from ProofWiki. The text is available under Creative Commons Attribution-ShareAlike License unless otherwise noted. Additional terms may apply for the media files.