Description
How do I use double negation in rules of replacement?
Explanation & Answer
In propositional logic, double negative elimination (also called double negation elimination, double negative introduction, double negation introduction, double negation, or negation elimination[1][2][3]) are two valid rules of replacement. They are the inferences that if Ais 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 negationfrom 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
Review
Review
24/7 Homework Help
Stuck on a homework question? Our verified tutors can answer all questions, from basic math to advanced rocket science!
Similar Content
Related Tags
Little Women
by Louisa May Alcott
1984
by George Orwell
One Flew Over the Cuckoos Nest
by Ken Kesey
Persuasion
by Jane Austen
The Call of the Wild
by Jack London
The Point of it All - A Lifetime of Great Loves and Endeavors
by Charles Krauthammer
Fools Crow
by James Welch
The Grapes of Wrath
by John Steinbeck
We Were Eight Years in Power
by Ta-Nehisi Coates