Exportation (logic) (original) (raw)
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 to its consequent. Its converse, the law of importation, , "imports" a proposition from the consequent of to its antecedent.
| Property | Value |
|---|---|
| dbo:abstract | 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 to its consequent. Its converse, the law of importation, , "imports" a proposition from the consequent of to its antecedent. (en) Exportación es una regla de reemplazo válida de la lógica proposicional. La regla establece que si implica , que a su vez implica , entonces y implica y viceversa. La regla permite sustituir sentencias condicionales que tengan antecedentes conjuntivos por declaraciones que tienen consecuentes condicionales y viceversa en pruebas lógicas. Esta es la representación simbólica de la regla: Donde "" es un símbolo metalógico que representa "puede ser reemplazado en una demostración con" (es) Exportação é uma regra de substituição válida na lógica proposicional. A regra permite que enunciados condicionais com antecedentes conjuntivos sejam substituídos por declarações com consequentes condicionais e vice-versa, em provas lógicas. A regra é que: Onde "" é um símbolo metalógico que representa "pode ser substituído em uma prova." (pt) |
| dbo:wikiPageID | 34769960 (xsd:integer) |
| dbo:wikiPageLength | 4684 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1120514847 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Propositional_calculus dbr:Metalogic dbr:De_Morgan's_law dbr:Antecedent_(logic) dbr:Currying dbr:Validity_(logic) dbr:De_Morgan's_laws dbr:Double_negation dbr:Consequent dbr:Material_conditional dbr:Theorem dbr:Logical_conjunction dbr:Propositional_logic dbr:Symbol_(formal) dbr:Curry–Howard_correspondence dbr:Formal_proof dbr:Formal_system dbr:Logical_equivalence dbr:Tautology_(logic) dbr:Associative_property dbr:Associativity dbc:Rules_of_inference dbc:Theorems_in_propositional_logic dbr:Material_implication_(rule_of_inference) dbr:Sequent dbr:Rule_of_replacement dbr:Logical_system dbr:Inference_rule |
| dbp:field | dbr:Propositional_calculus |
| dbp:name | Exportation (en) |
| dbp:type | dbr:Rule_of_replacement |
| dbp:wikiPageUsesTemplate | dbt:Infobox_mathematical_statement dbt:Reflist dbt:Short_description dbt:Transformation_rules |
| dcterms:subject | dbc:Rules_of_inference dbc:Theorems_in_propositional_logic |
| rdf:type | yago:WikicatTheoremsInPropositionalLogic yago:WikicatRulesOfInference yago:Abstraction100002137 yago:Cognition100023271 yago:Communication100033020 yago:Concept105835747 yago:Content105809192 yago:Idea105833840 yago:Message106598915 yago:Proposition106750804 yago:PsychologicalFeature100023100 yago:Rule105846054 yago:Statement106722453 yago:Theorem106752293 |
| rdfs:comment | 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 to its consequent. Its converse, the law of importation, , "imports" a proposition from the consequent of to its antecedent. (en) Exportación es una regla de reemplazo válida de la lógica proposicional. La regla establece que si implica , que a su vez implica , entonces y implica y viceversa. La regla permite sustituir sentencias condicionales que tengan antecedentes conjuntivos por declaraciones que tienen consecuentes condicionales y viceversa en pruebas lógicas. Esta es la representación simbólica de la regla: Donde "" es un símbolo metalógico que representa "puede ser reemplazado en una demostración con" (es) Exportação é uma regra de substituição válida na lógica proposicional. A regra permite que enunciados condicionais com antecedentes conjuntivos sejam substituídos por declarações com consequentes condicionais e vice-versa, em provas lógicas. A regra é que: Onde "" é um símbolo metalógico que representa "pode ser substituído em uma prova." (pt) |
| rdfs:label | Exportación (lógica) (es) Exportation (logic) (en) Exportação (lógica) (pt) |
| owl:sameAs | freebase:Exportation (logic) yago-res:Exportation (logic) wikidata:Exportation (logic) dbpedia-es:Exportation (logic) dbpedia-pt:Exportation (logic) https://global.dbpedia.org/id/4jM2o |
| prov:wasDerivedFrom | wikipedia-en:Exportation_(logic)?oldid=1120514847&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Exportation_(logic) |
| is dbo:wikiPageRedirects of | dbr:Importation_(logic) |
| is dbo:wikiPageWikiLink of | dbr:Propositional_calculus dbr:List_of_rules_of_inference dbr:Importation_(logic) dbr:Rule_of_replacement |
| is foaf:primaryTopic of | wikipedia-en:Exportation_(logic) |