TERMIUM Plus^®

Fiche 1,  Justifications,  Anglais

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, fiche 1, Anglais, - deductive%20proof

Fiche 1,  Justifications,  Français

Fiche 1,  Justifications,  Espagnol