Modus ponens

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 (loc. latine, masc.)

détachement (nom masc.)

Anglais

Modus ponens

Source: Wikipedia, Modus ponens.

source : Claude Coulombe ( discussion)

Source : 24pm Academy