« Modus ponens » : différence entre les versions
m (Remplacement de texte — « Termes privilégiés » par « Français ») |
(Nouveau terme) Balise : Éditeur de wikicode 2017 |
||
Ligne 1 : | Ligne 1 : | ||
== Domaine == | == Domaine == | ||
[[Category:Vocabulary]] | [[Category:Vocabulary]]<br/> | ||
[[Category:Intelligence artificielle]]Intelligence artificielle<br/> | |||
[[Catégorie:Raisonnement automatique]] Raisonnement automatique<br/> | |||
[[Category:Coulombe]]<br/> | |||
[[Catégorie:Scotty]]<br/> | |||
== Définition == | == Définition == | ||
La locution latine «modus ponens» ou plus plus précisément «modus ponendo ponens» 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 le mot latin «ponens» signifie «posons». On parle aussi d'une règle d'inférence ou d'un syllogisme conditionnel. | |||
== Français == | |||
modus ponens | |||
Source: | |||
https://fr.wikipedia.org/wiki/Modus_ponens | |||
Version du 11 mai 2019 à 20:52
Domaine
Intelligence artificielle
Raisonnement automatique
Définition
La locution latine «modus ponens» ou plus plus précisément «modus ponendo ponens» 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 le mot latin «ponens» signifie «posons». On parle aussi d'une règle d'inférence ou d'un syllogisme conditionnel.
Français
modus ponens
Source:
https://fr.wikipedia.org/wiki/Modus_ponens
Anglais
Modus ponens
Modus ponens, a short form of modus ponendo ponens (Latin for "the way that affirms by affirming"; generally abbreviated to MP or modus ponens[1]) is a rule of inference in propositional logic.[2] It is also called implication elimination as this inference rule can be used to replace the condition by the consequence in the arguments. It can be summarized as "(1) (P implies Q) and (2) (P) are asserted to be true, and therefore Q must be true." The history of modus ponens goes back to antiquity.[3]
Modus ponens is closely related to another valid form of argument, modus tollens. Both have apparently similar but invalid forms such as affirming the consequent, denying the antecedent, and evidence of absence. Constructive dilemma is the disjunctive version of modus ponens. Hypothetical syllogism is closely related to modus ponens and sometimes thought of as "double modus ponens."
Contributeurs: Claire Gorjux, Claude Coulombe, Jacques Barolet, wiki