« Modus ponens » : différence entre les versions
Aucun résumé des modifications Balise : Éditeur de wikicode 2017 |
Aucun résumé des modifications |
||
| Ligne 6 : | Ligne 6 : | ||
==Définition== | ==Définition== | ||
Le ''modus ponens'', une forme abrégée de ''modus ponendo ponens'' | Le ''modus ponens'', une forme abrégée de ''modus ponendo ponens'' en latin pour « la méthode qui en posant en affirmant » est une règle d'inférence dans la logique propositionnelle. Il désigne un raisonnement logique déductif classique qui part de l'implication « si A alors B », puis posant l'antécédent «A» en déduit le conséquent «B». Rappelons que la locution latine ''modus ponens'' signifie « mode d'affirmation ». On parle aussi d'une règle d'inférence ou d'un syllogisme conditionnel. | ||
==Français== | ==Français== | ||
| Ligne 23 : | Ligne 23 : | ||
[[Utilisateur:Claude COULOMBE | source : Claude Coulombe]] ([[Discussion utilisateur:Claude COULOMBE | discussion]]) | [[Utilisateur:Claude COULOMBE | source : Claude Coulombe]] ([[Discussion utilisateur:Claude COULOMBE | discussion]]) | ||
[https://www.24pm.com/117-definitions/421-modus-ponens | [https://www.24pm.com/117-definitions/421-modus-ponens Source : 24pm Academy] | ||
Version du 7 avril 2020 à 13:10
Définition
Le modus ponens, une forme abrégée de modus ponendo ponens en latin pour « la méthode qui en posant en affirmant » est une règle d'inférence dans la logique propositionnelle. Il désigne un raisonnement logique déductif classique qui part de l'implication « si A alors B », puis posant l'antécédent «A» en déduit le conséquent «B». Rappelons que la locution latine modus ponens signifie « mode d'affirmation ». On parle aussi d'une règle d'inférence ou d'un syllogisme conditionnel.
Français
modus ponens (locution latine, masc.)
Anglais
Modus ponens
Contributeurs: Claire Gorjux, Claude Coulombe, Jacques Barolet, wiki
