TERMIUM Plus®
From: Translation Bureau
On social media
Consult the Government of Canada’s terminology data bank.
INDIRECT PROOF [4 records]
Record 1 - internal organization data 2011-09-28
Record 1, English
Record 1, Subject field(s)
- Logic (Philosophy)
Record 1, Main entry term, English
- deductive proof 1, record 1, English, deductive%20proof
Record 1, Abbreviations, English
Record 1, Synonyms, English
- direct proof 2, record 1, English, direct%20proof
Record 1, Textual support, English
Record number: 1, Textual support number: 1 DEF
The standard definition of "direct proof" is one which is derived only from axioms using only rules of inference except for such rules of inference as are "indirect, "in particular the explicit or implicit rules that allow "reductio ab absurdum"("reduction to absurdity. ") 2, record 1, English, - deductive%20proof
Record 1, French
Record 1, Domaine(s)
- Logique (Philosophie)
Record 1, Main entry term, French
- preuve directe
1, record 1, French, preuve%20directe
correct, feminine noun
Record 1, Abbreviations, French
Record 1, Synonyms, French
Record 1, Textual support, French
Record 1, Spanish
Record 1, Textual support, Spanish
Record 2 - internal organization data 2001-04-04
Record 2, English
Record 2, Subject field(s)
- Mathematics
- Penal Law
- Proverbs and Maxims
Record 2, Main entry term, English
- ad absurdum proof
1, record 2, English, ad%20absurdum%20proof
correct
Record 2, Abbreviations, English
Record 2, Synonyms, English
- indirect demonstration 2, record 2, English, indirect%20demonstration
correct
- indirect proof 2, record 2, English, indirect%20proof
correct
- reductio ad impossibile 2, record 2, English, reductio%20ad%20impossibile
correct
Record 2, Textual support, English
Record number: 2, Textual support number: 1 OBS
demonstration "to the point of absurdity". 3, record 2, English, - ad%20absurdum%20proof
Record 2, Key term(s)
- reductio ad absurdum
Record 2, French
Record 2, Domaine(s)
- Mathématiques
- Droit pénal
- Proverbes et dictons
Record 2, Main entry term, French
- preuve indirecte
1, record 2, French, preuve%20indirecte
correct, feminine noun
Record 2, Abbreviations, French
Record 2, Synonyms, French
- démonstration indirecte 1, record 2, French, d%C3%A9monstration%20indirecte
correct, feminine noun
- démonstration par l'absurde 1, record 2, French, d%C3%A9monstration%20par%20l%27absurde
correct, feminine noun
- démonstration a contrario 1, record 2, French, d%C3%A9monstration%20a%20contrario
correct, feminine noun
- démonstration apagogique 1, record 2, French, d%C3%A9monstration%20apagogique
correct, feminine noun
- apagogie 1, record 2, French, apagogie
correct, feminine noun
- preuve par réduction à l'absurde 1, record 2, French, preuve%20par%20r%C3%A9duction%20%C3%A0%20l%27absurde
correct, feminine noun
- réduction ad absurdum 1, record 2, French, r%C3%A9duction%20ad%20absurdum
correct, feminine noun
Record 2, Textual support, French
Record 2, Key term(s)
- ad absurdum
- reductio ad absurdum
- reductio ad impossibile
Record 2, Spanish
Record 2, Textual support, Spanish
Record 3 - internal organization data 1998-06-23
Record 3, English
Record 3, Subject field(s)
- Logic (Philosophy)
Record 3, Main entry term, English
- indirect proof
1, record 3, English, indirect%20proof
correct
Record 3, Abbreviations, English
Record 3, Synonyms, English
Record 3, Textual support, English
Record number: 3, Textual support number: 1 CONT
The general principle is that any assumption that leads you to a contradiction must be false. Thus, if you can deduce a contradiction(using valid rules of inference) from a certain assumption, it is legitimate to conclude that the assumption is false. Indirect proof is an extremely useful method, both in logic and in the real world. In real world arguments, if you can start from your opponent's premises and derive a contradiction from them(which is frequently possible), it is a very powerful refutation of the opponent's position. It is because of the usefulness of IP(indirect proof) that I have decided to introduce it right away. 1, record 3, English, - indirect%20proof
Record 3, French
Record 3, Domaine(s)
- Logique (Philosophie)
Record 3, Main entry term, French
- preuve indirecte
1, record 3, French, preuve%20indirecte
correct, feminine noun
Record 3, Abbreviations, French
Record 3, Synonyms, French
Record 3, Textual support, French
Record number: 3, Textual support number: 1 CONT
Toute proposition est vraie ou fausse (principe du tiers exclu) et 2° la double négation d'une assertion correspond à sa vérité. La combinaison de ces deux corollaires recèle un mode d'inférence, la méthode de preuve indirecte, qui permet de démontrer des théorèmes d'existence mathématiques sur la simple base de leur non-contradiction. 1, record 3, French, - preuve%20indirecte
Record 3, Spanish
Record 3, Textual support, Spanish
Record 4 - internal organization data 1989-05-04
Record 4, English
Record 4, Subject field(s)
- Artificial Intelligence
Record 4, Main entry term, English
- inferential machinery
1, record 4, English, inferential%20machinery
correct
Record 4, Abbreviations, English
Record 4, Synonyms, English
Record 4, Textual support, English
Record number: 4, Textual support number: 1 OBS
The machinery of indirect proof. 1, record 4, English, - inferential%20machinery
Record 4, French
Record 4, Domaine(s)
- Intelligence artificielle
Record 4, Main entry term, French
- machinerie inférentielle
1, record 4, French, machinerie%20inf%C3%A9rentielle
correct, feminine noun
Record 4, Abbreviations, French
Record 4, Synonyms, French
Record 4, Textual support, French
Record 4, Spanish
Record 4, Textual support, Spanish
Copyright notice for the TERMIUM Plus® data bank
© Public Services and Procurement Canada, 2026
TERMIUM Plus®, the Government of Canada's terminology and linguistic data bank
A product of the Translation Bureau
Features
GCtranslate (available on the Government of Canada network only)
Use this artificial intelligence prototype to translate Government of Canada content up to and including Protected B. Available to employees of selected departments and agencies only.
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: