Exportation

Noun

1. The act of exporting; the act of conveying or sending commodities abroad or to another country, in the course of commerce.
2. The commodity exported; an export.
3. The act of carrying something away or out from a place.
4. Either the logical law ( ( P ∧<!-- ∧ --> Q ) →<!-- → --> R ) ⇒<!-- ⇒ --> ( P →<!-- → --> ( Q →<!-- → --> R ) ) {\displaystyle ((P\land Q)\to R)\Rightarrow (P\to (Q\to R))} , or the rule of replacement ( ( P ∧<!-- ∧ --> Q ) →<!-- → --> R ) ⇔<!-- ⇔ --> ( P →<!-- → --> ( Q →<!-- → --> R ) ) {\displaystyle ((P\land Q)\to R)\Leftrightarrow (P\to (Q\to R))} .