TERMIUM Plus®
La banque de données terminologiques et linguistiques du gouvernement du Canada.
MODUS PONENDO PONENS [1 fiche]
Fiche 1 - données d’organisme interne 1995-02-23
Fiche 1, Anglais
Fiche 1, Subject field(s)
- Artificial Intelligence
Fiche 1, La vedette principale, Anglais
- modus ponens
1, fiche 1, Anglais, modus%20ponens
correct
Fiche 1, Les abréviations, Anglais
Fiche 1, Les synonymes, Anglais
Fiche 1, Justifications, Anglais
Record number: 1, Textual support number: 1 DEF
A basic rule of logic that asserts that if we know that A implies B and we know for a fact that A is the case, we can assume B. 2, fiche 1, Anglais, - modus%20ponens
Record number: 1, Textual support number: 2 DEF
If A is true, then B is true. A is true therefore B is true. 3, fiche 1, Anglais, - modus%20ponens
Record number: 1, Textual support number: 1 CONT
Logically speaking, the two rules of inference most used in problem solving are modus ponens ("If A implies B and you know A, then infer B") and modus tollens ("If A implies B and you know not-B, then infer not-A")... 4, fiche 1, Anglais, - modus%20ponens
Fiche 1, Français
Fiche 1, Domaine(s)
- Intelligence artificielle
Fiche 1, La vedette principale, Français
- modus ponens
1, fiche 1, Français, modus%20ponens
correct, nom masculin
Fiche 1, Les abréviations, Français
Fiche 1, Les synonymes, Français
- modus ponendo ponens 2, fiche 1, Français, modus%20ponendo%20ponens
correct, nom masculin
Fiche 1, Justifications, Français
Record number: 1, Textual support number: 1 DEF
Règle qui veut que si P alors Q, et que si P est vrai, alors Q est vrai. 3, fiche 1, Français, - modus%20ponens
Record number: 1, Textual support number: 1 CONT
SI Durand est informaticien ALORS Durand est mort : Durand est informaticien PAR CONSÉQUENT Durand est mort. La formule simple, utilisée dans les deux exemples ci-dessus est l'une des plus fondamentales en logique; on lui a donné le nom latin de modus ponendo ponens (abrégé généralement en modus ponens). 2, fiche 1, Français, - modus%20ponens
Record number: 1, Textual support number: 1 OBS
En logique, appelée "règle de détachement". Signifie en latin "mode qui pose". Il existe aussi un "mode qui pose en supprimant" (modus tollendoponens) du type : ou A est vrai, ou B est vrai; or A n'est pas vrai; donc B est vrai. 4, fiche 1, Français, - modus%20ponens
Fiche 1, Espagnol
Fiche 1, Justifications, Espagnol
Avis de droit d’auteur pour la banque de données TERMIUM Plus®
© Services publics et Approvisionnement Canada, 2024
TERMIUM Plus®, la banque de données terminologiques et linguistiques du gouvernement du Canada
Un produit du Bureau de la traduction
En vedette
Portail linguistique du Canada
Accédez à une collection de ressources canadiennes sur tous les aspects du français et de l'anglais, y compris des jeux.
Outils d'aide à la rédaction
Les outils d’aide à la rédaction du Portail linguistique ont fait peau neuve! Faciles à consulter, ils vous donnent accès à une foule de renseignements utiles pour mieux écrire en français et en anglais.
Lexiques et vocabulaires
Accédez aux lexiques et vocabulaires du Bureau de la traduction.
- Date de modification :