Category:Principle of Composition

From ProofWiki
Jump to navigation Jump to search

This category contains pages concerning Principle of Composition:


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}$