« Modus ponens » : différence entre les versions
m (Remplacement de texte — « <br /> » par « ») |
Aucun résumé des modifications Balise : Éditeur de wikicode 2017 |
||
| 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''. | ||
| Ligne 13 : | Ligne 7 : | ||
'''modus ponens''' <small>(loc. latine, masc.)</small> | '''modus ponens''' <small>(loc. latine, masc.)</small> | ||
'''détachement''' <small> | '''détachement''' < <small>nom masc. </small> | ||
==Anglais== | ==Anglais== | ||
'''Modus ponens''' | '''Modus ponens''' | ||
<small> | <small> | ||
| Ligne 26 : | Ligne 19 : | ||
[https://www.24pm.com/117-definitions/421-modus-ponens Source : 24pm Academy] | [https://www.24pm.com/117-definitions/421-modus-ponens Source : 24pm Academy] | ||
[[Category:Intelligence artificielle]] | |||
[[Catégorie:Logique des propositions]] | |||
[[Catégorie:Raisonnement automatique]] | |||
[[Catégorie:ENGLISH]] | |||
[[Category:GRAND LEXIQUE FRANÇAIS]] | |||
Version du 7 mai 2020 à 13:38
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 (loc. latine, masc.)
détachement < nom masc.
Anglais
Modus ponens
Source: Wikipedia, Modus ponens.
Contributeurs: Claire Gorjux, Claude Coulombe, Jacques Barolet, wiki
