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.

Français

modus ponens (locution latine, masc.)

détachement (locution latine, masc.)


Anglais

Modus ponens

Source: Wikipedia, Modus ponens.

source : Claude Coulombe ( discussion)

Source : 24pm Academy