A rule of inference used in propositional logic, exportation is used to manipulate statements in a logical argument. Called 'EXP.' for short. It goes like this.
{(P∧Q)→R} = {P→(Q→R)}. And Vice versa
If we have Rain (P) and Freezing temperatures (Q), then we have Sleet (R).
is the same as
If we have Rain, then if we have Freezing temperatures, then we have Sleet.
Back up to Rules of Inference
Review your Logic symbols