VariousWords beta
Noun
Definition: The statement that the negation of the negation of A implies A, for any proposition A. Stated symbolically: ¬¬A→A.
VariousWords beta
Definition: The statement that the negation of the negation of A implies A, for any proposition A. Stated symbolically: ¬¬A→A.