law of double negation (English, noun)
expansion: law of double negation
Senses:
topics: human-sciences
logic
mathematics
philosophy
sciences
glosses: The statement that the negation of the negation of A implies A, for any proposition A. Stated symbolically: ¬¬A→A.
Forms: