Rule of Idempotence/Disjunction

From ProofWiki
Jump to navigation Jump to search

Theorem

The disjunction operation is idempotent:

Formulation 1

$p \dashv \vdash p \lor p$

Formulation 2

$\vdash p \iff \paren {p \lor p}$


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


Also known as

This rule is also known as the law of tautology for logical addition (or disjunction).