- 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:
“The worst feature of this double consciousness is, that the two lives, of the understanding and of the soul, which we lead, really show very little relation to each other; never meet and measure each other: one prevails now, all buzz and din; and the other prevails then, all infinitude and paradise; and, with the progress of life, the two discover no greater disposition to reconcile themselves.”
—Ralph Waldo Emerson (1803–1882)
“Mothers often are too easily intimidated by their children’s negative reactions...When the child cries or is unhappy, the mother reads this as meaning that she is a failure. This is why it is so important for a mother to know...that the process of growing up involves by definition things that her child is not going to like. Her job is not to create a bed of roses, but to help him learn how to pick his way through the thorns.”
—Elaine Heffner (20th century)
“The kind of Unitarian
Who having by elimination got
From many gods to Three, and Three to One,
Thinks why not taper off to none at all.”
—Robert Frost (1874–1963)