- For the theorem of propositional logic based on the same concept, see double negation.
In propositional logic, double negative elimination (also called double negation elimination, double negative introduction, double negation introduction, or simply double negation) are two valid rules of replacement. They are the inferences that if A is true, then not not-A is true and its converse, that, if not not-A is true, then A is true. The rule allows one to introduce or eliminate a negation from a logical proof. The rule is based on the equivalence of, for example, It is false that it is not raining. and It is raining.
The double negation introduction rule is:
- P ¬¬P
and the double negation elimination rule is:
- ¬¬P P
Where "" is a metalogical symbol representing "can be replaced in a proof with."
Read more about Double Negative Elimination: Formal Notation
Famous quotes containing the words double, negative and/or elimination:
“Today, San Francisco has experienced a double tragedy of incredible proportions. As acting mayor, I order an immediate state of mourning in our city. The city and county of San Francisco must and will pull itself together at this time. We will carry on as best as we possibly can.... I think we all have to share the same sense of shame and the same sense of outrage.”
—Dianne Feinstein (b. 1933)
“The idealist’s programme of political or economic reform may be impracticable, absurd, demonstrably ridiculous; but it can never be successfully opposed merely by pointing out that this is the case. A negative opposition cannot be wholly effectual: there must be a competing idealism; something must be offered that is not only less objectionable but more desirable.”
—Charles Horton Cooley (1864–1929)
“To reduce the imagination to a state of slavery—even though it would mean the elimination of what is commonly called happiness—is to betray all sense of absolute justice within oneself. Imagination alone offers me some intimation of what can be.”
—André Breton (1896–1966)