TERMIUM Plus®
From: Translation Bureau
On social media
Consult the Government of Canada’s terminology data bank.
WELL FORMED [2 records]
Record 1 - internal organization data 2011-03-08
Record 1, English
Record 1, Subject field(s)
- Artificial Intelligence
Record 1, Main entry term, English
- well-formed formula
1, record 1, English, well%2Dformed%20formula
correct
Record 1, Abbreviations, English
- WFF 2, record 1, English, WFF
correct
Record 1, Synonyms, English
Record 1, Textual support, English
Record 1, Key term(s)
- well formed formula
Record 1, French
Record 1, Domaine(s)
- Intelligence artificielle
Record 1, Main entry term, French
- formule bien formée
1, record 1, French, formule%20bien%20form%C3%A9e
correct, feminine noun
Record 1, Abbreviations, French
- fbf 2, record 1, French, fbf
feminine noun
Record 1, Synonyms, French
- formule correcte 2, record 1, French, formule%20correcte
correct, feminine noun
Record 1, Textual support, French
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, record 1, French, - 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, record 1, French, - formule%20bien%20form%C3%A9e
Record 1, Spanish
Record 1, Textual support, Spanish
Record 2 - internal organization data 2011-02-18
Record 2, English
Record 2, Subject field(s)
- Computer Programs and Programming
Record 2, Main entry term, English
- well-formed
1, record 2, English, well%2Dformed
correct, adjective
Record 2, Abbreviations, English
Record 2, Synonyms, English
Record 2, Textual support, English
Record number: 2, Textual support number: 1 OBS
Relating to an XML document in the context of the "Framework for the Management of Information" (FMI). 1, record 2, English, - well%2Dformed
Record number: 2, Textual support number: 2 OBS
well-formed: term used at the Treasury Board Secretariat. 2, record 2, English, - well%2Dformed
Record 2, Key term(s)
- well formed
Record 2, French
Record 2, Domaine(s)
- Programmes et programmation (Informatique)
Record 2, Main entry term, French
- bien formé
1, record 2, French, bien%20form%C3%A9
correct, adjective
Record 2, Abbreviations, French
Record 2, Synonyms, French
Record 2, Textual support, French
Record number: 2, Textual support number: 1 OBS
S'applique à un document XML dans le contexte du «Cadre de la gestion de l'information» (CGI). 1, record 2, French, - bien%20form%C3%A9
Record number: 2, Textual support number: 2 OBS
bien formé : terme en usage au Secrétariat du Conseil du Trésor. 2, record 2, French, - bien%20form%C3%A9
Record 2, Spanish
Record 2, Textual support, Spanish
Copyright notice for the TERMIUM Plus® data bank
© Public Services and Procurement Canada, 2026
TERMIUM Plus®, the Government of Canada's terminology and linguistic data bank
A product of the Translation Bureau
Features
GCtranslate (available on the Government of Canada network only)
Use this artificial intelligence prototype to translate Government of Canada content up to and including Protected B. Available to employees of selected departments and agencies only.
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: