transposition
Sign in to saverule in propositional logic allowing an antecedent and consequent to be transposed if they are also both negated
Wikidata facts
- Said to be same as
- contraposition
Show 1 more fact
- maintained by WikiProject
- WikiProject Mathematics
Sources (2)
via Wikidata · CC0
Article · Français
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."
Abstract from DBpedia / Wikipedia · CC BY-SA