Category:Rule of Exportation
Jump to navigation
Jump to search
This category contains pages concerning Rule of Exportation:
Formulation 1
- $\paren {p \land q} \implies r \dashv \vdash p \implies \paren {q \implies r}$
Formulation 2
- $\vdash \paren {\paren {p \land q} \implies r} \iff \paren {p \implies \paren {q \implies r} }$
Pages in category "Rule of Exportation"
The following 15 pages are in this category, out of 15 total.
R
- Rule of Exportation
- Rule of Exportation/Also known as
- Rule of Exportation/Formulation 1
- Rule of Exportation/Formulation 1/Proof 1
- Rule of Exportation/Formulation 1/Proof by Truth Table
- Rule of Exportation/Formulation 2
- Rule of Exportation/Forward Implication/Formulation 1
- Rule of Exportation/Forward Implication/Formulation 1/Proof
- Rule of Exportation/Forward Implication/Formulation 2
- Rule of Exportation/Forward Implication/Formulation 2/Proof 1
- Rule of Exportation/Reverse Implication/Formulation 1
- Rule of Exportation/Reverse Implication/Formulation 1/Proof
- Rule of Exportation/Reverse Implication/Formulation 2
- Rule of Exportation/Reverse Implication/Formulation 2/Proof 1
- Rule of Shunting