modus tollens
- Domaines
-
- philosophiethéorie de la connaissance
- intelligence artificielle
- Dernière mise à jour
Définition :
Mode de raisonnement issu de la logique formelle qui se présente de la façon suivante : si la proposition A est vraie, elle implique B; or, B n'est pas vrai, donc A ne l'est pas non plus.
Note :
Le modus tollens est l'inverse du modus ponens; il est principalement utilisé en chaînage arrière.
Terme privilégié :
- modus tollens n. m.
-
En latin modus tollens signifie « mode qui supprime ».
Traductions
-
anglais
Auteur : Office québécois de la langue française,Note :
Consider the following example : "If X is a man then X is mortal". If we know that Socrates is not mortal, then we can conclude that Socrates is not a man.
Termes :
- modus tollens
- MT
- modus tolens
Plural is modus tolentes.
-
catalan
Auteur : Universitat Autònoma de Barcelona,Terme :
- modus tollens n. m.
-
espagnol
Auteurs : Consejo Superior de Investigaciones Cientificas,
Colegio de México,Terme :
- modus tollens
-
portugais
Auteurs : Centro de Linguística da Universidade Nova de Lisboa,
Universidade de São Paulo,Note :
Subárea da inteligência artificial: representação do conhecimento por meio de Lógica.
Terme :
- modus tollens s. m.