Double Negation/Double Negation Elimination

Theorem
The rule of double negation elimination is a valid deduction sequent in propositional logic.

Also see

 * Double Negation Elimination implies Law of Excluded Middle