Double Negation

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

Also see

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