« 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 : @@
-[[Category:Intelligence artificielle]]
-[[Catégorie:Logique des propositions]]
-[[Catégorie:Raisonnement automatique]]
-[[Catégorie:ENGLISH]]
-[[Category:GRAND LEXIQUE FRANÇAIS]]
-[[Catégorie:9]]
-ajouter une redirection
 ==Définition==
-En calcul des propositions, le modus ponens, est une figure du raisonnement logique concernant l'implication. Elle consiste à affirmer une implication (« si ''A'' alors ''B'' ») et à poser ensuite l'antécédent: « or ''A'' », pour en déduire le conséquent: « donc ''B'' ». Le terme modus ponens est une abréviation du latin ''modus ponendo ponens'' qui signifie ''le mode qui, en posant, pose''. Il vient de ce qu'en ''posant'' (affirmant) ''A'', on ''pose'' (affirme) ''B''. Le '''syllogisme''' est une forme d'application du modus ponens.
+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'''  <small>(locution latine, masc.)</small>
+'''modus ponens'''  <small> locution latine </small>
-'''détachement'''   <small>(locution latine, masc.)</small>
+'''détachement'''
 ==Anglais==
-'''Modus ponens'''<small>
+'''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]
-<br />
+[[Catégorie:ENGLISH]]
-[https://fr.wikipedia.org/wiki/Modus_ponens <br />  Source: Wikipedia, ''Modus ponens''.]
+[[Category:GRAND LEXIQUE FRANÇAIS]]
-[[Utilisateur:Claude COULOMBE | source : Claude Coulombe]]            ([[Discussion utilisateur:Claude COULOMBE | discussion]])
-[https://www.24pm.com/117-definitions/421-modus-ponens Source : 24pm Academy]<br />