« Modus ponens » : différence entre les versions
Aucun résumé des modifications |
m (Remplacement de texte — « n.m. » par « nom masc. ») |
||
| Ligne 13 : | Ligne 13 : | ||
'''modus ponens''' <small>(locution latine, masc.)</small> | '''modus ponens''' <small>(locution latine, masc.)</small> | ||
'''détachement''' <small>( | '''détachement''' <small>(nom masc.)</small> | ||
Version du 16 avril 2020 à 12:06
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, masc.)
détachement (nom masc.)
Anglais
Modus ponens
Source: Wikipedia, Modus ponens.
Contributeurs: Claire Gorjux, Claude Coulombe, Jacques Barolet, wiki
