TERMIUM Plus®
Par le Bureau de la traduction
Dans les médias sociaux
Consultez la banque de données terminologiques du gouvernement du Canada.
LOGICAL CONSTANT [5 fiches]
Fiche 1 - données d’organisme interne 2024-05-09
Fiche 1, Anglais
Fiche 1, Subject field(s)
- Artificial Intelligence
- Computer Programs and Programming
Fiche 1, La vedette principale, Anglais
- logical constant
1, fiche 1, Anglais, logical%20constant
correct
Fiche 1, Les abréviations, Anglais
Fiche 1, Les synonymes, Anglais
- logic constant 2, fiche 1, Anglais, logic%20constant
correct
Fiche 1, Justifications, Anglais
Fiche 1, Français
Fiche 1, Domaine(s)
- Intelligence artificielle
- Programmes et programmation (Informatique)
Fiche 1, La vedette principale, Français
- constante logique
1, fiche 1, Français, constante%20logique
correct, nom féminin
Fiche 1, Les abréviations, Français
Fiche 1, Les synonymes, Français
Fiche 1, Justifications, Français
Record number: 1, Textual support number: 1 DEF
Un symbole permettant de former des expressions complexes à partir de formules élémentaires. 1, fiche 1, Français, - constante%20logique
Fiche 1, Espagnol
Fiche 1, Justifications, Espagnol
Fiche 2 - données d’organisme interne 2021-10-21
Fiche 2, Anglais
Fiche 2, Subject field(s)
- Computer Mathematics
- Computer Programs and Programming
Fiche 2, La vedette principale, Anglais
- universal quantification
1, fiche 2, Anglais, universal%20quantification
correct
Fiche 2, Les abréviations, Anglais
Fiche 2, Les synonymes, Anglais
Fiche 2, Justifications, Anglais
Record number: 2, Textual support number: 1 CONT
... a universal quantification is a type of quantifier, a logical constant which is interpreted as "given any" or "for all". It expresses that a predicate can be satisfied by every member of a domain of discourse. In other words, it is the predication of a property or relation to every member of the domain. It asserts that a predicate within the scope of a universal quantifier is true of every value of a predicate variable. 1, fiche 2, Anglais, - universal%20quantification
Fiche 2, Français
Fiche 2, Domaine(s)
- Mathématiques informatiques
- Programmes et programmation (Informatique)
Fiche 2, La vedette principale, Français
- quantification universelle
1, fiche 2, Français, quantification%20universelle
correct, nom féminin
Fiche 2, Les abréviations, Français
Fiche 2, Les synonymes, Français
Fiche 2, Justifications, Français
Record number: 2, Textual support number: 1 CONT
Le calcul des prédicats est une extension du calcul des propositions. Il comporte en plus les notions de prédicats et des symboles de quantification universelle et d'existentialité. 2, fiche 2, Français, - quantification%20universelle
Fiche 2, Espagnol
Fiche 2, Justifications, Espagnol
Fiche 3 - données d’organisme interne 1998-06-15
Fiche 3, Anglais
Fiche 3, Subject field(s)
- Informatics
Fiche 3, La vedette principale, Anglais
- zoned constant angular velocity
1, fiche 3, Anglais, zoned%20constant%20angular%20velocity
correct
Fiche 3, Les abréviations, Anglais
Fiche 3, Les synonymes, Anglais
- ZCAV 1, fiche 3, Anglais, ZCAV
correct
Fiche 3, Justifications, Anglais
Record number: 3, Textual support number: 1 DEF
A disk format requiring zoned constant angular velocity operation and with tracks in the data zone all being logical tracks. 1, fiche 3, Anglais, - zoned%20constant%20angular%20velocity
Fiche 3, Français
Fiche 3, Domaine(s)
- Informatique
Fiche 3, La vedette principale, Français
- vitesse angulaire constante zonée
1, fiche 3, Français, vitesse%20angulaire%20constante%20zon%C3%A9e
correct, nom féminin
Fiche 3, Les abréviations, Français
Fiche 3, Les synonymes, Français
- ZCAV 1, fiche 3, Français, ZCAV
correct
Fiche 3, Justifications, Français
Fiche 3, Espagnol
Fiche 3, Justifications, Espagnol
Fiche 4 - données d’organisme interne 1998-06-15
Fiche 4, Anglais
Fiche 4, Subject field(s)
- Informatics
Fiche 4, La vedette principale, Anglais
- logical ZCAV
1, fiche 4, Anglais, logical%20ZCAV
correct
Fiche 4, Les abréviations, Anglais
Fiche 4, Les synonymes, Anglais
Fiche 4, Justifications, Anglais
Record number: 4, Textual support number: 1 DEF
A disk format requiring zoned constant angular velocity operation, all tracks in the data zone being logical tracks. 1, fiche 4, Anglais, - logical%20ZCAV
Fiche 4, Français
Fiche 4, Domaine(s)
- Informatique
Fiche 4, La vedette principale, Français
- ZCAV logique
1, fiche 4, Français, ZCAV%20logique
correct, nom masculin
Fiche 4, Les abréviations, Français
Fiche 4, Les synonymes, Français
Fiche 4, Justifications, Français
Fiche 4, Espagnol
Fiche 4, Justifications, Espagnol
Fiche 5 - données d’organisme interne 1989-06-27
Fiche 5, Anglais
Fiche 5, Subject field(s)
- Artificial Intelligence
Fiche 5, La vedette principale, Anglais
- constant identifier
1, fiche 5, Anglais, constant%20identifier
correct
Fiche 5, Les abréviations, Anglais
Fiche 5, Les synonymes, Anglais
Fiche 5, Justifications, Anglais
Record number: 5, Textual support number: 1 CONT
In contrast to the logical variable, a constant identifier is used to denote an atomic entity or concept. It cannot be substituted by any other term and it will have the same interpretation in all clauses or any derivations of them. The constant identifier, however, cannot be divided into two parts. 1, fiche 5, Anglais, - constant%20identifier
Fiche 5, Français
Fiche 5, Domaine(s)
- Intelligence artificielle
Fiche 5, La vedette principale, Français
- identificateur constant
1, fiche 5, Français, identificateur%20constant
proposition, nom masculin
Fiche 5, Les abréviations, Français
Fiche 5, Les synonymes, Français
- identificateur fixe 1, fiche 5, Français, identificateur%20fixe
proposition, nom masculin
- identificateur logique fixe 1, fiche 5, Français, identificateur%20logique%20fixe
proposition, nom masculin
Fiche 5, Justifications, Français
Record number: 5, Textual support number: 1 OBS
Voir identificateur, constante, variable, opérateur logique. 1, fiche 5, Français, - identificateur%20constant
Fiche 5, Espagnol
Fiche 5, Justifications, Espagnol
Avis de droit d’auteur pour la banque de données TERMIUM Plus®
© Services publics et Approvisionnement Canada, 2026
TERMIUM Plus®, la banque de données terminologiques et linguistiques du gouvernement du Canada
Un produit du Bureau de la traduction
En vedette
GCtraduction (accessible uniquement sur le réseau du gouvernement du Canada)
Utilisez ce prototype d’intelligence artificielle pour traduire le contenu du gouvernement du Canada jusqu’au niveau Protégé B inclusivement. Réservé au personnel de certains ministères et organismes.
Outils d'aide à la rédaction
Les outils d’aide à la rédaction du Portail linguistique ont fait peau neuve! Faciles à consulter, ils vous donnent accès à une foule de renseignements utiles pour mieux écrire en français et en anglais.
Lexiques et vocabulaires
Accédez aux lexiques et vocabulaires du Bureau de la traduction.
- Date de modification :