Modus ponens
Définition
Le terme modus ponens est une abréviation du latin « modus ponendo ponens » qui signifie le mode qui, en posant, pose. Il vient de ce qu'en posant (affirmant) A, on pose (affirme) B. Le Syllogisme est une forme d'application du modus ponens.
Le modus ponens, une forme abrégée de modus ponendo ponens en latin pour « la méthode qui en posant 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 « mode d'affirmation ». On parle aussi d'une règle d'inférence ou d'un syllogisme conditionnel.
Français
modus ponens (locution latine, masc.)
Anglais
Modus ponens
Contributeurs: Claire Gorjux, Claude Coulombe, Jacques Barolet, wiki
