Exportation (logic)
Rule of replacement in propositional logic / From Wikipedia, the free encyclopedia
Dear Wikiwand AI, let's keep it short by simply answering these key questions:
Can you list the top facts and stats about Exportation (logic)?
Summarize this article for a 10 year old
SHOW ALL QUESTIONS
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.