« Modus ponens » : différence entre les versions
Aucun résumé des modifications |
Aucun résumé des modifications |
||
| Ligne 7 : | Ligne 7 : | ||
'''modus ponens''' <small>(locution latine )</small> | '''modus ponens''' <small>(locution latine )</small> | ||
'''détachement''' | '''détachement''' <small>masculin </small> | ||
Version du 10 décembre 2020 à 11:30
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.
Contributeurs: Claire Gorjux, Claude Coulombe, Jacques Barolet, wiki
