Modus tollens
Domaine
Intelligence artificielle
Logique des propositions
Raisonnement automatique
Définition
La locution latine «modus tollens» ou plus plus précisément «modus tollendo tollens» 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 locution 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
Note: Locution latine.
Anglais
Modus tollens
Contributeurs: Claude Coulombe, Jacques Barolet, wiki
