Definitionen
1.NounThe act of exporting; the act of conveying or sending commodities abroad or to another country, in the course of commerce.
2.NounThe commodity exported; an export.
3.NounThe act of carrying something away or out from a place.
4.NounEither 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))}
.