TERMIUM Plus^®

Fiche 1,  Justifications,  Anglais

Record number: 1, Textual support number: 1 CONT

Some paradoxes of material implication remain theorems of the Lewis systems when cashed out in terms of strict implication. Theorem IV says that a contradiction implies anything and theorem V says that an excluded-middle is implied by anything.  2, fiche 1, Anglais, - excluded%2Dmiddle

Fiche 1,  Justifications,  Français

Record number: 1, Textual support number: 1 CONT

Principe ou loi du tiers-exclu : de deux propositions contradictoires, l'une est vraie et l'autre fausse, ce qui exclut tout milieu, toute tierce (troisième) possibilité.  2, fiche 1, Français, - tiers%2Dexclu

Record number: 1, Textual support number: 1 DEF

Principe important de la logique binaire ou classique, qui permet d'exclure toute valeur qui n'est ni vraie, ni fausse. Contesté en logique non classique ou multialuée.  3, fiche 1, Français, - tiers%2Dexclu

Fiche 1,  Justifications,  Espagnol