TERMIUM Plus®
La banque de données terminologiques et linguistiques du gouvernement du Canada.
MODUS TOLLENS [5 fiches]
Fiche 1 - données d’organisme interne 2024-05-09
Fiche 1, Anglais
Fiche 1, Subject field(s)
- Artificial Intelligence
Fiche 1, La vedette principale, Anglais
- modus tollens
1, fiche 1, Anglais, modus%20tollens
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 rule of logic that states: when B is known to be false, and if there is a rule "if A, then B", then it is valid to conclude that A is false. 2, fiche 1, Anglais, - modus%20tollens
Record number: 1, Textual support number: 1 CONT
This rule, which has the latin name modus tollens... cannot be reached by most expert systems. 2, fiche 1, Anglais, - modus%20tollens
Fiche 1, Français
Fiche 1, Domaine(s)
- Intelligence artificielle
Fiche 1, La vedette principale, Français
- modus tollens
1, fiche 1, Français, modus%20tollens
correct
Fiche 1, Les abréviations, Français
Fiche 1, Les synonymes, Français
Fiche 1, Justifications, Français
Record number: 1, Textual support number: 1 DEF
OtOtRègle d'inférence de la forme: si A alors B; or B n'est pas vrai; donc A ne l'est pas non plus. 2, fiche 1, Français, - modus%20tollens
Record number: 1, Textual support number: 1 OBS
Signifie en latin "mode qui supprime". Il existe aussi un mode qui supprime en posant" (modus ponendo-tollens) du type: ou A est vrai, ou B est vrai mais pas les deux; or A est vrai; donc B n'est pas vrai. 2, fiche 1, Français, - modus%20tollens
Fiche 1, Espagnol
Fiche 1, Justifications, Espagnol
Fiche 2 - données d’organisme interne 1995-02-23
Fiche 2, Anglais
Fiche 2, Subject field(s)
- Artificial Intelligence
Fiche 2, La vedette principale, Anglais
- modus ponens
1, fiche 2, Anglais, modus%20ponens
correct
Fiche 2, Les abréviations, Anglais
Fiche 2, Les synonymes, Anglais
Fiche 2, Justifications, Anglais
Record number: 2, 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 2, Anglais, - modus%20ponens
Record number: 2, Textual support number: 2 DEF
If A is true, then B is true. A is true therefore B is true. 3, fiche 2, Anglais, - modus%20ponens
Record number: 2, 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 2, Anglais, - modus%20ponens
Fiche 2, Français
Fiche 2, Domaine(s)
- Intelligence artificielle
Fiche 2, La vedette principale, Français
- modus ponens
1, fiche 2, Français, modus%20ponens
correct, nom masculin
Fiche 2, Les abréviations, Français
Fiche 2, Les synonymes, Français
- modus ponendo ponens 2, fiche 2, Français, modus%20ponendo%20ponens
correct, nom masculin
Fiche 2, Justifications, Français
Record number: 2, 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 2, Français, - modus%20ponens
Record number: 2, 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 2, Français, - modus%20ponens
Record number: 2, 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 2, Français, - modus%20ponens
Fiche 2, Espagnol
Fiche 2, Justifications, Espagnol
Fiche 3 - données d’organisme interne 1994-06-23
Fiche 3, Anglais
Fiche 3, Subject field(s)
- Artificial Intelligence
Fiche 3, La vedette principale, Anglais
- chaining rule
1, fiche 3, Anglais, chaining%20rule
correct
Fiche 3, Les abréviations, Anglais
Fiche 3, Les synonymes, Anglais
- chain rule 2, fiche 3, Anglais, chain%20rule
correct
Fiche 3, Justifications, Anglais
Record number: 3, Textual support number: 1 CONT
The rule is called the chain rule for obvious reasons. We follow a chain of reasoning from A, through B to C. 3, fiche 3, Anglais, - chaining%20rule
Record number: 3, Textual support number: 2 CONT
... 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")... Linking several applications of modus ponens together is sometimes called the "chain rule" because inferences are chained together in a sequence.... 4, fiche 3, Anglais, - chaining%20rule
Record number: 3, Textual support number: 3 CONT
... a goal window was included in which a student was required to post the goal(s) she was working on before selecting operators. .... The chain rule is the proposed operator which, before it can be applied, needs two sub-goals to be satisfied.... 5, fiche 3, Anglais, - chaining%20rule
Fiche 3, Français
Fiche 3, Domaine(s)
- Intelligence artificielle
Fiche 3, La vedette principale, Français
- règle de chaînage
1, fiche 3, Français, r%C3%A8gle%20de%20cha%C3%AEnage
correct, nom féminin
Fiche 3, Les abréviations, Français
Fiche 3, Les synonymes, Français
Fiche 3, Justifications, Français
Fiche 3, Espagnol
Fiche 3, Justifications, Espagnol
Fiche 4 - données d’organisme interne 1989-12-21
Fiche 4, Anglais
Fiche 4, Subject field(s)
- Artificial Intelligence
Fiche 4, La vedette principale, Anglais
- generalized modus tollens
1, fiche 4, Anglais, generalized%20modus%20tollens
correct
Fiche 4, Les abréviations, Anglais
Fiche 4, Les synonymes, Anglais
Fiche 4, Français
Fiche 4, Domaine(s)
- Intelligence artificielle
Fiche 4, La vedette principale, Français
- modus tollens généralisé
1, fiche 4, Français, modus%20tollens%20g%C3%A9n%C3%A9ralis%C3%A9
correct, nom masculin
Fiche 4, Les abréviations, Français
Fiche 4, Les synonymes, Français
Fiche 4, Justifications, Français
Fiche 4, Espagnol
Fiche 4, Justifications, Espagnol
Fiche 5 - données d’organisme interne 1988-02-01
Fiche 5, Anglais
Fiche 5, Subject field(s)
- Artificial Intelligence
Fiche 5, La vedette principale, Anglais
- extended modus tollens
1, fiche 5, Anglais, extended%20modus%20tollens
correct
Fiche 5, Les abréviations, Anglais
Fiche 5, Les synonymes, Anglais
Fiche 5, Français
Fiche 5, Domaine(s)
- Intelligence artificielle
Fiche 5, La vedette principale, Français
- modus tollens étendu
1, fiche 5, Français, modus%20tollens%20%C3%A9tendu
correct, nom masculin
Fiche 5, Les abréviations, Français
- MTE 1, fiche 5, Français, MTE
correct
Fiche 5, Les synonymes, Français
Fiche 5, Justifications, Français
Fiche 5, Espagnol
Fiche 5, 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 :