Category:Conditional is Left Distributive over Conjunction
(Redirected from Category:Implication is Left Distributive over Conjunction)
Jump to navigation
Jump to search
This category contains pages concerning Conditional is Left Distributive over Conjunction:
The implication operator is left distributive over the conjunction operator:
Formulation 1
- $p \implies \paren {q \land r} \dashv \vdash \paren {p \implies q} \land \paren {p \implies r}$
Formulation 2
- $\vdash \paren {p \implies \paren {q \land r} } \iff \paren {\paren {p \implies q} \land \paren {p \implies r} }$
Pages in category "Conditional is Left Distributive over Conjunction"
The following 15 pages are in this category, out of 15 total.
C
- Conditional is Left Distributive over Conjunction
- Conditional is Left Distributive over Conjunction/Formulation 1
- Conditional is Left Distributive over Conjunction/Formulation 1/Proof 1
- Conditional is Left Distributive over Conjunction/Formulation 1/Proof by Truth Table
- Conditional is Left Distributive over Conjunction/Formulation 2
- Conditional is Left Distributive over Conjunction/Formulation 2/Proof 1
- Conditional is Left Distributive over Conjunction/Formulation 2/Proof by Truth Table
- Conditional is Left Distributive over Conjunction/Forward Implication/Formulation 1
- Conditional is Left Distributive over Conjunction/Forward Implication/Formulation 1/Proof
- Conditional is Left Distributive over Conjunction/Forward Implication/Formulation 2
- Conditional is Left Distributive over Conjunction/Forward Implication/Formulation 2/Proof
- Conditional is Left Distributive over Conjunction/Reverse Implication/Formulation 1
- Conditional is Left Distributive over Conjunction/Reverse Implication/Formulation 1/Proof
- Conditional is Left Distributive over Conjunction/Reverse Implication/Formulation 2
- Conditional is Left Distributive over Conjunction/Reverse Implication/Formulation 2/Proof