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
| |
dbo:wikiPageLength
|
- 4684 (xsd:nonNegativeInteger)
|
dbo:wikiPageRevisionID
| |
dbo:wikiPageWikiLink
| |
dbp:field
| |
dbp:name
| |
dbp:type
| |
dbp:wikiPageUsesTemplate
| |
dcterms:subject
| |
rdf:type
| |
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
| |
prov:wasDerivedFrom
| |
foaf:isPrimaryTopicOf
| |
is dbo:wikiPageRedirects
of | |
is dbo:wikiPageWikiLink
of | |
is foaf:primaryTopic
of | |