« Modus ponens » : différence entre les versions
mAucun résumé des modifications Balise : Éditeur de wikicode 2017 |
Aucun résumé des modifications |
||
| Ligne 1 : | Ligne 1 : | ||
== Domaine == | ==Domaine== | ||
[[Category:Vocabulary]]<br/> | [[Category:Vocabulary]] | ||
[[Category:Intelligence artificielle]]Intelligence artificielle<br/> | <br /> | ||
[[Catégorie:Logique des propositions]]Logique des propositions<br/> | [[Category:Intelligence artificielle]] | ||
[[Catégorie:Raisonnement automatique]] Raisonnement automatique<br/> | Intelligence artificielle<br /> | ||
[[Category:Coulombe]]<br/> | [[Catégorie:Logique des propositions]] | ||
[[Catégorie:Scotty]]<br/> | Logique des propositions<br /> | ||
[[Catégorie:Raisonnement automatique]] | |||
Raisonnement automatique<br /> | |||
[[Category:Coulombe]] | |||
<br /> | |||
[[Catégorie:Scotty]] | |||
<br /> | |||
== Définition == | ==Définition== | ||
''Modus ponens'', une forme abrégée de ''modus ponendo ponens'' (latin pour « la manière qui affirme en affirmant » généralement abrégé en MP ou modus ponens ) est une règle d'inférence dans la logique propositionnelle. 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 == | ==Français== | ||
modus ponens | '''modus ponens''' (locution latine, masc.) | ||
'''MP''' | |||
Source: | Source: | ||
| Ligne 21 : | Ligne 28 : | ||
== Anglais == | ==Anglais== | ||
=== Modus ponens === | ===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, 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." | 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." | ||
<br/> | <br /> | ||
<br/> | <br /> | ||
<br/> | <br /> | ||
<br/> | <br /> | ||
<br/> | <br /> | ||
<br/> | <br /> | ||
<br/> | <br /> | ||
Version du 22 mai 2019 à 16:43
Domaine
Intelligence artificielle
Logique des propositions
Raisonnement automatique
Définition
Modus ponens, une forme abrégée de modus ponendo ponens (latin pour « la manière qui affirme en affirmant » généralement abrégé en MP ou modus ponens ) est une règle d'inférence dans la logique propositionnelle. 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
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
