« Modus ponens » : différence entre les versions
m (Remplacement de texte — « Category:Coulombe2 » par « <!-- Coulombe2 --> ») |
m (Remplacement de texte — « Catégorie:Scotty2 » par « <!-- Scotty2 --> ») |
||
| Ligne 3 : | Ligne 3 : | ||
[[Catégorie:Raisonnement automatique]] | [[Catégorie:Raisonnement automatique]] | ||
<!-- Coulombe2 --> | <!-- Coulombe2 --> | ||
<!-- Scotty2 --> | |||
[[Category:GRAND LEXIQUE FRANÇAIS]] | [[Category:GRAND LEXIQUE FRANÇAIS]] | ||
Version du 3 juillet 2019 à 12:32
Définition
Le modus ponens, une forme abrégée de modus ponendo ponens (latin pour « la méthode qui affirme 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
source : Claude Coulombe ( discussion)
Contributeurs: Claire Gorjux, Claude Coulombe, Jacques Barolet, wiki
