Exportation (logic)
id:
exportation-logic-239-9666363
title:
Exportation (logic)
text:
Exportation 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 → R to its consequent. Its converse, the law of importatio
brand slug:
wiki
category slug:
encyclopedia
description:
Rule of replacement in propositional logic
original url:
https://en.wikipedia.org/wiki/Exportation_(logic)
date created:
date modified:
2024-02-01T16:52:14Z
main entity:
{"identifier":"Q5421567","url":"https://www.wikidata.org/entity/Q5421567"}
image:
fields total:
13
integrity:
14