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

(import/export) The commodity exported; an export.

(Can we verify(+) this sense?) The act of carrying something outside.

(logic) 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))} .