Absorption Laws (Logic)

From ProofWiki
Jump to navigation Jump to search

This proof is about Absorption Laws in the context of Propositional Logic. For other uses, see Absorption Laws.

Theorem

For any two propositions $p$ and $q$, we have:


Conjunction Absorbs Disjunction

$p \land \paren {p \lor q} \dashv \vdash p$


Disjunction Absorbs Conjunction

$p \lor \left ({p \land q}\right) \dashv \vdash p$


Also see