« Modus ponens » : différence entre les versions

Dernière version du 28 janvier 2024 à 10:59

Définition

En calcul des propositions, le modus ponens est une règle d'inférence, qui peut être résumée de la manière suivante: « A implique que B et A soient déclarés vrais, donc B doit être vrai ». Le terme modus ponens est une abréviation du latin modus ponendo ponens qui signifie « la méthode qui, en affirmant, affirme ». Il vient de ce qu'en posant A, on pose B.

Le syllogisme est une forme d'application du modus ponens.

Français

modus ponens locution latine

détachement

Anglais

modus ponens

Sources

Source : Wikipédia, Modus ponens.

Source : Claude Coulombe ( discussion)

Source : 24pm Academy

@@ Ligne 1 : / Ligne 1 : @@
+==Définition==
+En calcul des propositions, le modus ponens est une règle d'inférence, qui peut être résumée de la manière suivante: « A implique que B et A soient déclarés vrais, donc B doit être vrai ». Le terme modus ponens est une abréviation du latin ''modus ponendo ponens'' qui signifie « la méthode qui, en affirmant, affirme ». Il vient de ce qu'en posant ''A'', on pose ''B''.
-==Domaine==
+Le '''[[syllogisme]]''' est une forme d'application du modus ponens.
-[[Category:Vocabulary]]
-<br />
-[[Category:Intelligence artificielle]]
-Intelligence artificielle<br />
-[[Catégorie:Logique des propositions]]
-Logique des propositions<br />
-[[Catégorie:Raisonnement automatique]]
-Raisonnement automatique<br />
-[[Category:Coulombe]]
-<br />
-[[Catégorie:Scotty]]
-<br />
-==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.)
+'''modus ponens'''  <small> locution latine </small>
-'''MP'''
+'''détachement'''
 ==Anglais==
+'''modus ponens'''
-'''Modus ponens'''
+==Sources==
+[https://fr.wikipedia.org/wiki/Modus_ponens   Source : Wikipédia, ''Modus ponens''.]
+[[Utilisateur:Claude COULOMBE | Source : Claude Coulombe]]            ([[Discussion utilisateur:Claude COULOMBE | discussion]])
+[https://www.24pm.com/117-definitions/421-modus-ponens Source : 24pm Academy]
-[https://fr.wikipedia.org/wiki/Modus_ponens<br />  Source: Wikipedia]
+[[Catégorie:ENGLISH]]
-<br />
+[[Category:GRAND LEXIQUE FRANÇAIS]]
-<br />
-<br />
-<br />