« Modus ponens » : différence entre les versions
Aucun résumé des modifications |
Aucun résumé des modifications |
||
| Ligne 6 : | Ligne 6 : | ||
==Définition== | ==Définition== | ||
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. | |||
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. | 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. | ||
Version du 7 avril 2020 à 13:14
Définition
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.
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
