Category:Conditional is Left Distributive over Disjunction
Jump to navigation
Jump to search
This category contains pages concerning Conditional is Left Distributive over Disjunction:
Theorem
Formulation 1
- $p \implies \paren {q \lor r} \dashv \vdash \paren {p \implies q} \lor \paren {p \implies r}$
Formulation 2
- $\vdash \paren {p \implies \paren {q \lor r} } \iff \paren {\paren {p \implies q} \lor \paren{p \implies r} }$
Subcategories
This category has only the following subcategory.
C
Pages in category "Conditional is Left Distributive over Disjunction"
The following 5 pages are in this category, out of 5 total.
C
- Conditional is Left Distributive over Disjunction
- Conditional is Left Distributive over Disjunction/Formulation 1
- Conditional is Left Distributive over Disjunction/Formulation 1/Forward Implication
- Conditional is Left Distributive over Disjunction/Formulation 1/Reverse Implication
- Conditional is Left Distributive over Disjunction/Formulation 2