Category:Conditional is not Right Self-Distributive
Jump to navigation
Jump to search
This category contains pages concerning Conditional is not Right Self-Distributive:
Formulation 1
While this holds:
- $\paren {p \implies q} \implies r \vdash \paren {p \implies r} \implies \paren {q \implies r}$
its converse does not:
- $\paren {p \implies r} \implies \paren {q \implies r} \not \vdash \paren {p \implies q} \implies r$
Formulation 2
While this holds:
- $\vdash \paren {\paren {p \implies q} \implies r} \implies \paren {\paren {p \implies r} \implies \paren {q \implies r} }$
its converse does not:
- $\not \vdash \paren {\paren {p \implies r} \implies \paren {q \implies r} } \implies \paren {\paren {p \implies q} \implies r}$
Pages in category "Conditional is not Right Self-Distributive"
The following 3 pages are in this category, out of 3 total.