Principle of Composition

Theorem

Formulation 1

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

Formulation 2

$\paren {\paren {p \implies r} \lor \paren {q \implies r} } \iff \paren {\paren {p \land q} \implies r}$