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: Wikipedia

Source: Claude Coulombe, Datafranca.org