[logic] == Natural language == === Truth values === At any time, if P→Q is true, it can be replaced by P→(P∧Q). One possible case for P→Q is for P to be true and Q to be true; thus P∧Q is also true, and P→(P∧Q) is true. Another possible case sets P as false and Q as true. Thus, P∧Q is false and P→(P∧Q) is false; false→... Found on http://en.wikipedia.org/wiki/Exportation_(logic)
• (n.) The act of carrying out. • (n.) The act of exporting; the act of conveying or sending commodities abroad or to another country, in the course of commerce. • (n.) Commodity exported; an export. Found on http://thinkexist.com/dictionary/meaning/exportation/
Ex`por·ta'tion noun [ Latin exportatio : confer French 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.]... Found on http://www.encyclo.co.uk/webster/E/92
exportation 1. Carrying out from a place. 2. The conveying or sending (persons) out of the country. 3. The sending out (of commodities) from one country to another. Found on http://www.wordinfo.info/words/index/info/view_unit/2627/2
is the form of valid inference of the propositional calculus from AB ? C to A? [B ? C]. The law of exportation is the theorem of the propositional calculus: [pq ? r] ? [p ? [q ? r]]. -- A.C. Found on https://www.encyclo.co.uk/local/21203