Transposition (logic)
http://dbpedia.org/resource/Transposition_(logic) an entity of type: Thing
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."
rdf:langString
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."
rdf:langString
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".
rdf:langString
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."
rdf:langString
rdf:langString
Transposición (lógica)
rdf:langString
Trasposizione (logica)
rdf:langString
Transposition (logique)
rdf:langString
Transposição (lógica)
rdf:langString
Transposition (logic)
rdf:langString
Transposition
xsd:integer
2655832
xsd:integer
1092195603
rdf:langString
The inference from the truth of "A implies B" to the truth of "Not-B implies not-A"
rdf:langString
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."
rdf:langString
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."
rdf:langString
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".
rdf:langString
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."
xsd:nonNegativeInteger
14264