From Wiktionary, the free dictionary
Jump to navigation
Jump to search
law of double negation
- (logic) 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
,
,
.