Exportation (logic)

Exportation
TypeRule of replacement
FieldPropositional calculus
Symbolic statement

Exportation[1][2][3][4] is a valid rule of replacement in propositional logic. The rule allows conditional statements having conjunctive antecedents to be replaced by statements having conditional consequents and vice versa in logical proofs. It is the rule that:

Where "" is a metalogical symbol representing "can be replaced in a proof with." In strict terminology, is the law of exportation, for it "exports" a proposition from the antecedent of to its consequent. Its converse, the law of importation, , "imports" a proposition from the consequent of to its antecedent.

  1. ^ Hurley, Patrick (1991). A Concise Introduction to Logic 4th edition. Wadsworth Publishing. pp. 364–5. ISBN 9780534145156.
  2. ^ Copi, Irving M.; Cohen, Carl (2005). Introduction to Logic. Prentice Hall. p. 371.
  3. ^ Moore and Parker
  4. ^ "Rules of Replacement".