TERMIUM Plus^®

Fiche 1,  Justifications,  Anglais

Fiche 1,  Justifications,  Français

Record number: 1, Textual support number: 1 DEF

Expression ou énoncé construit exclusivement à l'aide de symboles appartenant à l'alphabet d'un langage formel et conforme à la syntaxe de ce langage.  2, fiche 1, Français, - formule%20bien%20form%C3%A9e

Record number: 1, Textual support number: 1 OBS

L'on distingue les formules «vraies» pour toutes les interprétations des formules «fausses» : les formules «consistantes» sont vraies (elles admettent un modèle), les formules «valides» sont toujours vraies, quelles que soient les valeurs de vérité attribuées aux propositions qu'elles contiennent. La négation d'une formule valide est «inconsistante» et la négation d'une formule consistante est «invalide». Une formule qui n'est ni valide, ni inconsistante, est parfois appelée «contingente». Une formule valide est appelée «tautologie» en calcul propositionnel.  2, fiche 1, Français, - formule%20bien%20form%C3%A9e

Fiche 1,  Justifications,  Espagnol