« Modus ponens » : différence entre les versions
m (Remplacement de texte — « locution » par « loc. ») |
m (Remplacement de texte : « ↵<small> » par « ==Sources== ») |
||
| (11 versions intermédiaires par 2 utilisateurs non affichées) | |||
| Ligne 1 : | Ligne 1 : | ||
==Définition== | ==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''. | 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. | Le '''[[syllogisme]]''' est une forme d'application du modus ponens. | ||
==Français== | ==Français== | ||
'''modus ponens''' <small> | '''modus ponens''' <small> locution latine </small> | ||
'''détachement''' | |||
==Anglais== | ==Anglais== | ||
''' | '''modus ponens''' | ||
==Sources== | |||
[https://fr.wikipedia.org/wiki/Modus_ponens | [https://fr.wikipedia.org/wiki/Modus_ponens Source : Wikipédia, ''Modus ponens''.] | ||
[[Utilisateur:Claude COULOMBE | | [[Utilisateur:Claude COULOMBE | Source : Claude Coulombe]] ([[Discussion utilisateur:Claude COULOMBE | discussion]]) | ||
[https://www.24pm.com/117-definitions/421-modus-ponens Source : 24pm Academy] | [https://www.24pm.com/117-definitions/421-modus-ponens Source : 24pm Academy] | ||
[[Catégorie:ENGLISH]] | |||
[[Category:GRAND LEXIQUE FRANÇAIS]] | |||
Dernière version du 28 janvier 2024 à 09: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.
Contributeurs: Claire Gorjux, Claude Coulombe, Jacques Barolet, wiki
