« Modus ponens » : différence entre les versions
Aucun résumé des modifications |
Aucun résumé des modifications Balise : Éditeur de wikicode 2017 |
||
| Ligne 17 : | Ligne 17 : | ||
==Anglais== | ==Anglais== | ||
'''Modus ponens''' | |||
< | |||
<small> | |||
[https://fr.wikipedia.org/wiki/Modus_ponens <br /> Source: Wikipedia, ''Modus ponens''.] | [https://fr.wikipedia.org/wiki/Modus_ponens <br /> Source: Wikipedia, ''Modus ponens''.] | ||
Version du 7 avril 2020 à 14:28
ajouter une redirection
Définition
En calcul des propositions, le modus ponens, est une figure du raisonnement logique concernant l'implication. Elle consiste à affirmer une implication (« si A alors B ») et à poser ensuite l'antécédent: « or A », pour en déduire le conséquent: « donc B ». Le terme modus ponens est une abréviation du latin modus ponendo ponens qui signifie le mode qui, en posant, pose. Il vient de ce qu'en posant (affirmant) A, on pose (affirme) B. Le syllogisme est une forme d'application du modus ponens.
Français
modus ponens (locution latine, masc.)
détachement (locution latine, masc.)
Anglais
Modus ponens
Source: Wikipedia, Modus ponens.
Contributeurs: Claire Gorjux, Claude Coulombe, Jacques Barolet, wiki
