« Modus ponens » : différence entre les versions
Aucun résumé des modifications Balise : Éditeur de wikicode 2017 |
Aucun résumé des modifications |
||
| Ligne 31 : | Ligne 31 : | ||
[https://fr.wikipedia.org/wiki/Modus_ponens<br /> Source: Wikipedia] | [https://fr.wikipedia.org/wiki/Modus_ponens <br /> Source: Wikipedia] | ||
Source: Claude Coulombe, Datafranca.org | |||
<br /> | <br /> | ||
<br /> | <br /> | ||
<br /> | <br /> | ||
<br /> | <br /> | ||
Version du 22 mai 2019 à 17:53
Domaine
Intelligence artificielle
Logique des propositions
Raisonnement automatique
Définition
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 «méthode d'affirmation». On parle aussi d'une règle d'inférence ou d'un syllogisme conditionnel.
Français
modus ponens (locution latine, masc.)
MP
Anglais
Modus ponens
Source: Claude Coulombe, Datafranca.org
Contributeurs: Claire Gorjux, Claude Coulombe, Jacques Barolet, wiki
