Modus tollens
Définition
La loc. latine modus tollens ou plus plus précisément modus tollendo tollens (du latin « procédé qui nie en niant ») désigne un raisonnement logique déductif classique qui part de l'implication «si A alors B», puis niant le conséquent «B» (non B) en déduit la négation de l'antécédent «non A». Rappelons que la loc. latine «modus tollens» signifie «méthode de négation». On parle aussi d'une règle d'inférence ou d'un syllogisme conditionnel.
Français
modus tollens locution latine
Anglais
Modus tollens
Sources
Contributeurs: Claude Coulombe, Jacques Barolet, wiki