Category:Praeclarum Theorema
Jump to navigation
Jump to search
This category contains pages concerning Praeclarum Theorema:
Formulation 1
- $\paren {p \implies q} \land \paren {r \implies s} \vdash \paren {p \land r} \implies \paren {q \land s}$
Formulation 2
- $\vdash \paren {\paren {p \implies q} \land \paren {r \implies s} } \implies \paren {\paren {p \land r} \implies \paren {q \land s} }$
Pages in category "Praeclarum Theorema"
The following 6 pages are in this category, out of 6 total.