Double negation
Propositional logic theorem / From Wikipedia, the free encyclopedia
Dear Wikiwand AI, let's keep it short by simply answering these key questions:
Can you list the top facts and stats about Double negation?
Summarize this article for a 10 year old
In propositional logic, the double negation of a statement states that "it is not the case that the statement is not true". In classical logic, every statement is logically equivalent to its double negation, but this is not true in intuitionistic logic, This can be expressed by the formula A ≡ ~(~A) where the sign ≡ expresses logical equivalence and the sign ~ expresses negation.
Type | Theorem |
---|---|
Field | |
Statement | If a statement is true, then it is not the case that the statement is not true." |
Symbolic statement |
Like the law of the excluded middle, this principle is considered to be a law of thought in classical logic,[1] but it is disallowed by intuitionistic logic.[2] The principle was stated as a theorem of propositional logic by Russell and Whitehead in Principia Mathematica as:
- [3]
- "This is the principle of double negation, i.e. a proposition is equivalent of the falsehood of its negation."