law of double negation (0 synonym found)

We don't have any synonyms for law of double negation yet.

Think law of double negation belongs in the thesaurus? Recommend it and we'll take a look.

Definition of law of double negation:

°The statement that the negation of the negation of A implies A, for any proposition A. Stated symbolically: .
"The law of double negation is not valid intuitionistically. To show this with Heyting algebra semantics, let . Then , ,  ."
Definition of law of double negation:

°The statement that the negation of the negation of A implies A, for any proposition A. Stated symbolically: .
"The law of double negation is not valid intuitionistically. To show this with Heyting algebra semantics, let . Then , ,  ."
Back to Top