Exportation (logic)
Rule of replacement in propositional logic / From Wikipedia, the free encyclopedia
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:
Quick Facts Type, Field ...
Type | Rule of replacement |
---|---|
Field | Propositional calculus |
Symbolic statement |
Close
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.