Modus ponens
Domaine
Intelligence artificielle
Logique des propositions
Raisonnement automatique
Définition
Le modus ponens, une forme abrégée de modus ponendo ponens (latin pour « la méthode qui affirme en affirmant » est une règle d'inférence dans la logique propositionnelle. Il désigne un raisonnement logique déductif classique qui part de l'implication « si A alors B », puis posant l'antécédent «A» en déduit le conséquent «B». Rappelons que la locution latine «modus ponens» signifie «méthode d'affirmation». On parle aussi d'une règle d'inférence ou d'un syllogisme conditionnel.
Français
modus ponens (locution latine, masc.)
MP
Anglais
Modus ponens
Source: Claude Coulombe, Datafranca.org
Contributeurs: Claire Gorjux, Claude Coulombe, Jacques Barolet, wiki
