The exportation rule is a rule in logic which states that "if (P and Q), then R" is equivalent to "if P then (if Q then R)".
The exportation rule may be formally stated as:
(α ∧ β) → γ α → (β → γ)
α → (β → γ)