modus ponens
- 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 P est vraie et si P entraîne la proposition Q, alors Q est vraie.
Note :
Le modus ponens est l'archétype de l'implication logique. Il est utilisé en chaînage avant.
Terme privilégié :
- modus ponens n. m.
Traductions
-
anglais
Auteur : Office québécois de la langue française,Termes :
- modus ponens
- MP
-
catalan
Auteur : Universitat Autònoma de Barcelona,Terme :
- modus ponens n. m.
-
espagnol
Auteurs : Consejo Superior de Investigaciones Cientificas,
Colegio de México,Terme :
- modus ponens
-
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 ponens s. m.