Rule of Idempotence

Context
Natural deduction.

Definition
This rule is two-fold:


 * Conjunction is idempotent:
 * 1) $$p \vdash p \land p$$
 * 2) $$p \land p \vdash p$$


 * Disjunction is idempotent:
 * 1) $$p \vdash p \lor p$$
 * 2) $$p \lor p \vdash p$$

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

Proof
These are proved by the tableau method:

$$p \vdash p \land p$$:

$$p \land p \vdash p$$:

$$p \vdash p \lor p$$

$$p \lor p \vdash p$$