Find the word definition

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: neg neg A to A .