Rule of Association/Conjunction

From ProofWiki
Jump to: navigation, search

Theorem

Conjunction is associative:

Formulation 1

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

Formulation 2

$\vdash \left({p \land \left({q \land r}\right)}\right) \iff \left({\left({p \land q}\right) \land r}\right)$


Also see