# Rule of Exportation

Jump to navigation
Jump to search

## Theorem

### Formulation 1

- $\left ({p \land q}\right) \implies r \dashv \vdash p \implies \left ({q \implies r}\right)$

### Formulation 2

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

## Also known as

This rule is also known as the **rule of shunting**.

## Sources

- 1973: Irving M. Copi:
*Symbolic Logic*(4th ed.) ... (previous) ... (next): $3.2$: The Rule of Replacement