Modus ponens

La version imprimable n’est plus prise en charge et peut comporter des erreurs de génération. Veuillez mettre à jour les signets de votre navigateur et utiliser à la place la fonction d’impression par défaut de celui-ci.

Définition

En calcul des propositions, le modus ponens est une règle d'inférence, qui peut être résumée de la manière suivante: « A implique que B et A soient déclarés vrais, donc B doit être vrai ». Le terme modus ponens est une abréviation du latin modus ponendo ponens qui signifie « la méthode qui, en affirmant, affirme ». Il vient de ce qu'en posant A, on pose B.

Le syllogisme est une forme d'application du modus ponens.

Français

modus ponens locution latine

détachement

Anglais

modus ponens

Sources

Source : Wikipédia, Modus ponens.

Source : Claude Coulombe ( discussion)

Source : 24pm Academy