En logique propositionnelle, le modus ponendo tollens (du latin: « mode qui nie en affirmant »)Stone, Jon R. 1996. est une règle d'inférence valide, parfois abrégé MPTPolitzer, Guy & Carles, Laure. 2001. . 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 ensemble. 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
Catégorie:Raisonnement mathématique Catégorie:Théorie de la démonstration