Ex`por*ta"tion (?), n. [L. exportatio: cf. F. exporation.]

1.

The act of exporting; the act of conveying or sending commodities abroad or to another country, in the course of commerce.

2.

Commodity exported; an export.

3.

The act of carrying out.

[R.]

Bourne.

 

© Webster 1913.

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

Log in or registerto write something here or to contact authors.