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 (locution latine )

détachement < masculin

Anglais

Modus ponens

Source: Wikipedia, Modus ponens.

source : Claude Coulombe ( discussion)

Source : 24pm Academy