- 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:
“I met Jack Kennedy in November, 1946.... We went out on a double date and it turned out to be a fair evening for me. I seduced a girl who would have been bored by a diamond as big as the Ritz.”
—Norman Mailer (b. 1923)
“There is no reason why parents who work hard at a job to support a family, who nurture children during the hours at home, and who have searched for and selected the best [daycare] arrangement possible for their children need to feel anxious and guilty. It almost seems as if our culture wants parents to experience these negative feelings.”
—Gwen Morgan (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)