law of double negation noun1 •The statement that the negation of the negation of A implies A, for any proposition A. Stated symbolically: ¬¬A→A.
