Double Negation rules of replacement

Philosophy
Tutor: None Selected Time limit: 1 Day

How do I use double negation in rules of replacement?

Feb 23rd, 2015

In propositional logicdouble negative elimination (also called double negation eliminationdouble negative introductiondouble negation introductiondouble 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:

\Leftrightarrow ¬¬P

and the double negation elimination rule is:

¬¬P \Leftrightarrow P
If I can say without immodesty, I am the talk of the town

Feb 23rd, 2015

Studypool's Notebank makes it easy to buy and sell old notes, study guides, reviews, etc.
Click to visit
The Notebank
...
Feb 23rd, 2015
...
Feb 23rd, 2015
May 26th, 2017
check_circle
Mark as Final Answer
check_circle
Unmark as Final Answer
check_circle
Final Answer

Secure Information

Content will be erased after question is completed.

check_circle
Final Answer