TERMIUM Plus®
The Government of Canada’s terminology and linguistic data bank.
MODUS PONENS [1 record]
Record 1 - internal organization data 1995-02-23
Record 1, English
Record 1, Subject field(s)
- Artificial Intelligence
Record 1, Main entry term, English
- modus ponens
1, record 1, English, modus%20ponens
correct
Record 1, Abbreviations, English
Record 1, Synonyms, English
Record 1, Textual support, English
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, record 1, English, - 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, record 1, English, - 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, record 1, English, - modus%20ponens
Record 1, French
Record 1, Domaine(s)
- Intelligence artificielle
Record 1, Main entry term, French
- modus ponens
1, record 1, French, modus%20ponens
correct, masculine noun
Record 1, Abbreviations, French
Record 1, Synonyms, French
- modus ponendo ponens 2, record 1, French, modus%20ponendo%20ponens
correct, masculine noun
Record 1, Textual support, French
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, record 1, French, - 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, record 1, French, - 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, record 1, French, - modus%20ponens
Record 1, Spanish
Record 1, Textual support, Spanish
Copyright notice for the TERMIUM Plus® data bank
© Public Services and Procurement Canada, 2024
TERMIUM Plus®, the Government of Canada's terminology and linguistic data bank
A product of the Translation Bureau
Features
Language Portal of Canada
Access a collection of Canadian resources on all aspects of English and French, including quizzes.
Writing tools
The Language Portal’s writing tools have a new look! Easy to consult, they give you access to a wealth of information that will help you write better in English and French.
Glossaries and vocabularies
Access Translation Bureau glossaries and vocabularies.
- Date Modified: