Modus ponens

ajouter une redirection

Définition

En calcul des propositions, le modus ponens, est une figure du raisonnement logique concernant l'implication. Elle consiste à affirmer une implication (« si A alors B ») et à poser ensuite l'antécédent: « or A », pour en déduire le conséquent: « donc B ». 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.