Principle of Composition
Jump to navigation
Jump to search
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}$