Category:Principle of Commutation
Jump to navigation
Jump to search
This category contains pages concerning Principle of Commutation:
Formulation 1
- $p \implies \paren {q \implies r} \dashv \vdash q \implies \paren {p \implies r}$
Formulation 2
- $\vdash \paren {p \implies \paren {q \implies r} } \iff \paren {q \implies \paren {p \implies r} }$
Pages in category "Principle of Commutation"
The following 14 pages are in this category, out of 14 total.
P
- Principle of Commutation
- Principle of Commutation/Formulation 1
- Principle of Commutation/Formulation 1/Proof 1
- Principle of Commutation/Formulation 1/Proof 2
- Principle of Commutation/Formulation 2
- Principle of Commutation/Forward Implication/Formulation 1
- Principle of Commutation/Forward Implication/Formulation 1/Proof
- Principle of Commutation/Forward Implication/Formulation 2
- Principle of Commutation/Forward Implication/Formulation 2/Proof 1
- Principle of Commutation/Forward Implication/Formulation 2/Proof 2
- Principle of Commutation/Reverse Implication/Formulation 1
- Principle of Commutation/Reverse Implication/Formulation 1/Proof
- Principle of Commutation/Reverse Implication/Formulation 2
- Principle of Commutation/Reverse Implication/Formulation 2/Proof