Modus ponens

Domaine

Intelligence artificielle
Logique des propositions
Raisonnement automatique

Définition

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