Modus ponendo tollens
En logique propositionnelle, le modus ponendo tollens (du latin: « mode qui nie en affirmant »)[1] est une règle d'inférence valide, parfois abrégé MPT[2]. Celui-ci est étroitement lié au modus ponens et au modus tollens. Il est généralement décrit sous la forme :
- Non (A et B)
- A
- Par conséquent, non B
Par exemple :
- Anne et Bill ne peuvent pas gagner la course.
- Anne a gagné la course.
- Par conséquent, Bill n'a pas pu gagner la course.
En notation logique, ceci peut être représenté comme suit :
Basée sur la barre de Sheffer, notée « | », l'inférence peut également être formalisée de la manière suivante :
Références
- (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Modus ponendo tollens » (voir la liste des auteurs).
v · m Logique mathématique | |||||
---|---|---|---|---|---|
Calcul des propositions |
| ||||
Calcul des prédicats |
|
- Portail de la logique
- Portail de la philosophie