Rule of Idempotence

Definition
The rule of idempotence is two-fold:


 * Conjunction is idempotent:
 * $$p \dashv \vdash p \and p$$


 * Disjunction is idempotent:
 * $$p \dashv \vdash p \or p$$

Its abbreviation in a tableau proof is $$\textrm{Idemp}$$.

Proof by Natural deduction
These are proved by the Tableau method.

Proof by Truth Table
We apply the Method of Truth Tables to the propositions.

As can be seen by inspection, the truth values under the main connectives match for each model.

$$\begin{array}{|c||ccc||ccc|} \hline p & p & \and & p & p & \or & p \\ \hline T & T & T & T & T & T & T \\ F & F & F & F & F & F & F \\ \hline \end{array}$$