What is the name of the following rule of replacement?
~~p$ \equiv$ p
P $ \equiv$ ~~p
A) Simplification
B) Tautology
C) Modus tollens
D) Double negation

Question

Quizplus · Accepted Answer

The rule that allows one to remove or introduce a double negation in a logical statement is known as the double negation rule. This rule states that a statement is logically equivalent to the negation of its negation (i.e., ~~p is equivalent to p).

What Is the Name of the Following Rule of Replacement ≡ \equiv≡

What Is the Name of the Following Rule of Replacement $\equiv$