« Modus ponens » : différence entre les versions
m (Remplacement de texte — « nom masc. » par « masculin ») |
Aucun résumé des modifications |
||
| Ligne 5 : | Ligne 5 : | ||
==Français== | ==Français== | ||
'''modus ponens''' <small>( | '''modus ponens''' <small>(locution latine )</small> | ||
'''détachement''' < <small>masculin </small> | '''détachement''' < <small>masculin </small> | ||
Version du 10 décembre 2020 à 12: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
