Double Negation

Combined Double Negation Law
These are often combined into one law:

Also see

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