Double Negation/Double Negation Elimination

Theorem
The rule of double negation elimination is a valid argument in certain types of logic dealing with negation $\neg$.

This includes classical propositional logic and predicate logic, and in particular natural deduction, but for example not intuitionistic propositional logic.

Also see

 * Definition:Negation
 * Double Negation Elimination implies Law of Excluded Middle