Rule of Exportation

From ProofWiki
Jump to navigation Jump to search

Theorem

Formulation 1

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


Formulation 2

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


Also known as

The Rule of Exportation is also known as the Rule of Shunting.