Modus tollens

Carte Commune · n° 206330

En logique propositionnelle, le modus tollens (aussi nommé modus tollendo tollens, du Latin : « mode qui, en niant, nie ») est une forme d'argument valide et une règle d'inférence. Celui-ci est une application de la vérité générale selon laquelle, si une proposition est vraie, alors il en est de même pour sa proposition contraposée. Les premiers à décrire explicitement le modus tollens étaient les stoïciens. La règle d'inférence modus tollens est l'inférence selon laquelle « P implique Q » et la négation du conséquent Q entraînent la négation de l'antécédent P. La règle du modus tollens peut être formellement énoncée comme suit : P → Q , ¬ Q ∴ ¬ P {\displaystyle {\frac {P\to Q,\neg Q}{\therefore \neg P}}} où P...

Lire sur Wikipédia