TERMIUM Plus®
The Government of Canada’s terminology and linguistic data bank.
VALID START [2 records]
Record 1 - internal organization data 1998-06-23
Record 1, English
Record 1, Subject field(s)
- Logic (Philosophy)
Record 1, Main entry term, English
- indirect proof
1, record 1, English, indirect%20proof
correct
Record 1, Abbreviations, English
Record 1, Synonyms, English
Record 1, Textual support, English
Record number: 1, 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 1, English, - indirect%20proof
Record 1, French
Record 1, Domaine(s)
- Logique (Philosophie)
Record 1, Main entry term, French
- preuve indirecte
1, record 1, French, preuve%20indirecte
correct, feminine noun
Record 1, Abbreviations, French
Record 1, Synonyms, French
Record 1, Textual support, French
Record number: 1, 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 1, French, - preuve%20indirecte
Record 1, Spanish
Record 1, Textual support, Spanish
Record 2 - internal organization data 1987-07-20
Record 2, English
Record 2, Subject field(s)
- Skiing and Snowboarding
Record 2, Main entry term, English
- valid start
1, record 2, English, valid%20start
correct
Record 2, Abbreviations, English
Record 2, Synonyms, English
Record 2, Textual support, English
Record number: 2, Textual support number: 1 OBS
Downhill ski terms. 1, record 2, English, - valid%20start
Record 2, French
Record 2, Domaine(s)
- Ski et surf des neiges
Record 2, Main entry term, French
- départ valable
1, record 2, French, d%C3%A9part%20valable
correct, masculine noun
Record 2, Abbreviations, French
Record 2, Synonyms, French
Record 2, Textual support, French
Record number: 2, Textual support number: 1 OBS
Termes de ski alpin. 1, record 2, French, - d%C3%A9part%20valable
Record 2, Spanish
Record 2, Textual support, Spanish
Copyright notice for the TERMIUM Plus® data bank
© Public Services and Procurement Canada, 2025
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: