« Modus ponens » : différence entre les versions

Version du 22 mai 2019 à 16:55

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 «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: Wikipedia

Source: Claude Coulombe, Datafranca.org

@@ Ligne 16 : / Ligne 16 : @@
 ==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.
+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.
 ==Français==

« Modus ponens » : différence entre les versions