Absorption Laws (Logic)

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 \paren {p \land q} \dashv \vdash p$


Also see

This article is issued from ProofWiki. The text is available under Creative Commons Attribution-ShareAlike License unless otherwise noted. Additional terms may apply for the media files.