« Modus ponens » : différence entre les versions

Version du 22 mai 2019 à 18:53

Domaine

Intelligence artificielle
Logique des propositions
Raisonnement automatique

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.)

MP

Anglais

Modus ponens

Source: Wikipedia

Source: Claude Coulombe, Datafranca.org

@@ Ligne 16 : / Ligne 16 : @@
 ==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 «méthode 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'' (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==