Category:Self-Distributive Law for Conditional

This category contains pages concerning Self-Distributive Law for Conditional:

The following is known as the Self-Distributive Law:

Formulation 1

$p \implies \paren {q \implies r} \dashv \vdash \paren {p \implies q} \implies \paren {p \implies r}$

Formulation 2

$\vdash \paren {p \implies \paren {q \implies r} } \iff \paren {\paren {p \implies q} \implies \paren {p \implies r} }$