In propositional logic, transposition is a valid rule of replacement that permits one to switch the antecedent with the consequent of a conditional statement in a logical proof if they are also both negated. It is the inference from the truth of "A implies B" to the truth of "Not-B implies not-A", and conversely. It is very closely related to the rule of inference modus tollens. It is the rule that where "" is a metalogical symbol representing "can be replaced in a proof with".
| Attributes | Values |
|---|
| rdf:type
| |
| rdfs:label
| - Transposición (lógica) (es)
- Trasposizione (logica) (it)
- Transposition (logique) (fr)
- Transposição (lógica) (pt)
- Transposition (logic) (en)
|
| rdfs:comment
| - En la lógica proposicional, la transposición o transformación del condicional es una regla de reemplazo válida de que permite que se cambie el antecedente con el consecuente de una sentencia condicional en una prueba lógica si ellos también son ambos negados. Es la inferencia de que la verdad de que "A implica B" implica la verdad de que "No B implica no A", y viceversa. Está muy relacionada con la regla de inferencia de modus tollens. Es la regla de que: Donde "" es un símbolo metalógico que representa "puede ser reemplazado en una demostración con." (es)
- En logique des propositions, une transposition est une règle de remplacement valide qui permet d'échanger l'antécédent avec le d'une implication matérielle dans une s'il sont tous les deux négatifs. C'est l'inférence de la vérité de « A implique B » à la vérité de « non-B implique non-A », et inversement. Il est très étroitement liée à la règle d'inférence modus tollens. La règle est la suivante : où « » est un symbole métalogique représentant "peut être remplacé dans une démonstration avec." (fr)
- In propositional logic, transposition is a valid rule of replacement that permits one to switch the antecedent with the consequent of a conditional statement in a logical proof if they are also both negated. It is the inference from the truth of "A implies B" to the truth of "Not-B implies not-A", and conversely. It is very closely related to the rule of inference modus tollens. It is the rule that where "" is a metalogical symbol representing "can be replaced in a proof with". (en)
- Na lógica proposicional, a transposição é uma válida que permite trocar o antecedente pelo de um enunciado condicional em uma prova lógica se eles estão ambos negados. É a inferência da verdade de "A implica B", a verdade do "Não-B implica não-A", e vice-versa. Ela é estreitamente relacionada com a regra de inferência modus tollens. É a regra que: Onde "" é um símbolo da metalógica que representa "pode ser substituído em uma prova com." (pt)
|
| rdfs:seeAlso
| |
| name
| |
| dcterms:subject
| |
| Wikipage page ID
| |
| Wikipage revision ID
| |
| Link from a Wikipage to another Wikipage
| |
| Link from a Wikipage to an external page
| |
| sameAs
| |
| statement
| - The inference from the truth of "A implies B" to the truth of "Not-B implies not-A" (en)
|
| dbp:wikiPageUsesTemplate
| |
| field
| |
| type
| |
| has abstract
| - En la lógica proposicional, la transposición o transformación del condicional es una regla de reemplazo válida de que permite que se cambie el antecedente con el consecuente de una sentencia condicional en una prueba lógica si ellos también son ambos negados. Es la inferencia de que la verdad de que "A implica B" implica la verdad de que "No B implica no A", y viceversa. Está muy relacionada con la regla de inferencia de modus tollens. Es la regla de que: Donde "" es un símbolo metalógico que representa "puede ser reemplazado en una demostración con." (es)
- En logique des propositions, une transposition est une règle de remplacement valide qui permet d'échanger l'antécédent avec le d'une implication matérielle dans une s'il sont tous les deux négatifs. C'est l'inférence de la vérité de « A implique B » à la vérité de « non-B implique non-A », et inversement. Il est très étroitement liée à la règle d'inférence modus tollens. La règle est la suivante : où « » est un symbole métalogique représentant "peut être remplacé dans une démonstration avec." (fr)
- In propositional logic, transposition is a valid rule of replacement that permits one to switch the antecedent with the consequent of a conditional statement in a logical proof if they are also both negated. It is the inference from the truth of "A implies B" to the truth of "Not-B implies not-A", and conversely. It is very closely related to the rule of inference modus tollens. It is the rule that where "" is a metalogical symbol representing "can be replaced in a proof with". (en)
- Na lógica proposicional, a transposição é uma válida que permite trocar o antecedente pelo de um enunciado condicional em uma prova lógica se eles estão ambos negados. É a inferência da verdade de "A implica B", a verdade do "Não-B implica não-A", e vice-versa. Ela é estreitamente relacionada com a regra de inferência modus tollens. É a regra que: Onde "" é um símbolo da metalógica que representa "pode ser substituído em uma prova com." (pt)
|
| prov:wasDerivedFrom
| |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)