Wiktionary
law of double negation
n. (context logic English) The statement that the negation of the negation of ''A'' implies ''A'', for any proposition ''A''. Stated symbolically: .