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

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