TERMIUM Plus^®

Fiche 1,  Justifications,  Anglais

Record number: 1, Textual support number: 1 DEF

Logic meant only to reflect correct mathematical practice. Intuitionists reject the law of excluded middle, which is a fundamental law of classical logic. In this view, the meaning of a statement resides not in its truth-conditions rather in its mean of verification of proof. The meaning of the logical operators is not furnished by truth-conditions, but by specifying what is to count as proof of a sentence containing them.  1, fiche 1, Anglais, - intuitionistic%20logic

Fiche 1,  Justifications,  Français

Record number: 1, Textual support number: 1 CONT

La logique déductive est tantôt classique, tantôt non classique : trivalente, minimale, intuitionniste.  1, fiche 1, Français, - logique%20intuitionniste

Record number: 1, Textual support number: 1 OBS

Intuitionnisme : théorie d'après laquelle les mathématiques ont recours à l'intuition et n'ont pas seulement recours à l'hypothèse et à la déduction.  2, fiche 1, Français, - logique%20intuitionniste

Fiche 1,  Justifications,  Espagnol