| Property |
Value |
| dbo:abstract
|
- 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)
- 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)
|
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 5474 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:art
|
- Transposition (fr)
- Transposition (fr)
|
| prop-fr:id
| |
| prop-fr:lang
| |
| prop-fr:wikiPageUsesTemplate
| |
| dct:subject
| |
| rdfs:comment
|
- 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)
- 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)
|
| rdfs:label
|
- Transposition (logique) (fr)
- Transposição (lógica) (pt)
- Transposition (logique) (fr)
- Transposição (lógica) (pt)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
