In propositional logic, import-export is a name given to the propositional form of Exportation: ( P → ( Q → R ) ) ↔ ( ( P ∧ Q ) → R ) {\displaystyle (P\rightarrow (Q\rightarrow R))\leftrightarrow ((P\land Q)\rightarrow R)} . This already holds in minimal logic, and thus also in classical logic, where the conditional operator " → {\displaystyle \rightarrow } " is taken as material implication.
In propositional logic, import-export is a name given to the propositional form of Exportation: ( P → ( Q → R ) ) ↔ ( ( P ∧ Q ) → R ) {\displaystyle (P\rightarrow (Q\rightarrow R))\leftrightarrow ((P\land Q)\rightarrow R)} . This already holds in minimal logic, and thus also in classical logic, where the conditional operator " → {\displaystyle \rightarrow } " is taken as material implication.
Source: Wikipedia "Import–export (logic)" · CC BY-SA 4.0
Share this article: X · Bluesky