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 EXPRESSION [13 fiches]
Fiche 1 - données d’organisme interne 2026-01-08
Fiche 1, Anglais
Fiche 1, Subject field(s)
- Mathematics
- Computer Programs and Programming
- Artificial Intelligence
Fiche 1, La vedette principale, Anglais
- algebraic rewrite rule
1, fiche 1, Anglais, algebraic%20rewrite%20rule
correct
Fiche 1, Les abréviations, Anglais
Fiche 1, Les synonymes, Anglais
Fiche 1, Justifications, Anglais
Record number: 1, Textual support number: 1 CONT
The optimizer receives [the] initial logical query plan and performs two main phases of optimization. First, it considers algebraic rewrite rules that transform the initial relational algebra expression into an equivalent expression that will [allow for a quicker evaluation. ] 2, fiche 1, Anglais, - algebraic%20rewrite%20rule
Fiche 1, Terme(s)-clé(s)
- algebraic rewriting rule
Fiche 1, Français
Fiche 1, Domaine(s)
- Mathématiques
- Programmes et programmation (Informatique)
- Intelligence artificielle
Fiche 1, La vedette principale, Français
- règle de réécriture algébrique
1, fiche 1, Français, r%C3%A8gle%20de%20r%C3%A9%C3%A9criture%20alg%C3%A9brique
correct, nom féminin
Fiche 1, Les abréviations, Français
Fiche 1, Les synonymes, Français
Fiche 1, Justifications, Français
Fiche 1, Espagnol
Fiche 1, Campo(s) temático(s)
- Matemáticas
- Programas y programación (Informática)
- Inteligencia artificial
Fiche 1, La vedette principale, Espagnol
- regla de reescritura algebráica
1, fiche 1, Espagnol, regla%20de%20reescritura%20algebr%C3%A1ica
proposition, nom féminin
Fiche 1, Les abréviations, Espagnol
Fiche 1, Les synonymes, Espagnol
Fiche 1, Justifications, Espagnol
Fiche 2 - données d’organisme interne 2015-01-05
Fiche 2, Anglais
Fiche 2, Subject field(s)
- Artificial Intelligence
Fiche 2, La vedette principale, Anglais
- McCullough-Pitts neuron
1, fiche 2, Anglais, McCullough%2DPitts%20neuron
correct
Fiche 2, Les abréviations, Anglais
Fiche 2, Les synonymes, Anglais
Fiche 2, Justifications, Anglais
Record number: 2, Textual support number: 1 CONT
McCullough-Pitts neurons are binary computing elements based on the function of the animal nervous system. McCullough and Pitts(1943) demonstrated that networks of such elements could realise any finite logical expression. 1, fiche 2, Anglais, - McCullough%2DPitts%20neuron
Fiche 2, Français
Fiche 2, Domaine(s)
- Intelligence artificielle
Fiche 2, La vedette principale, Français
- neurone à seuil de McCullough et Pitts
1, fiche 2, Français, neurone%20%C3%A0%20seuil%20de%20McCullough%20et%20Pitts
correct, nom masculin
Fiche 2, Les abréviations, Français
Fiche 2, Les synonymes, Français
- neurone de McCullough et Pitts 2, fiche 2, Français, neurone%20de%20McCullough%20et%20Pitts
correct, nom masculin
Fiche 2, Justifications, Français
Record number: 2, Textual support number: 1 CONT
Le schéma organisant la classification linéaire est "neuronal" en ce sens qu'on peut le mettre en œuvre dans un réseau à une couche de neurones de McCullough et Pitts privés de leur fonctions seuils. 2, fiche 2, Français, - neurone%20%C3%A0%20seuil%20de%20McCullough%20et%20Pitts
Fiche 2, Espagnol
Fiche 2, Justifications, Espagnol
Fiche 3 - données d’organisme interne 2012-10-03
Fiche 3, Anglais
Fiche 3, Subject field(s)
- Computer Programs and Programming
Fiche 3, La vedette principale, Anglais
- exit assertion
1, fiche 3, Anglais, exit%20assertion
correct
Fiche 3, Les abréviations, Anglais
Fiche 3, Les synonymes, Anglais
- output assertion 2, fiche 3, Anglais, output%20assertion
correct, normalisé
Fiche 3, Justifications, Anglais
Record number: 3, Textual support number: 1 DEF
An assertion that describes the commitments a procedure makes if and when it terminates. 1, fiche 3, Anglais, - exit%20assertion
Record number: 3, Textual support number: 2 DEF
A logical expression specifying one or more conditions that program outputs must satisfy in order for the program to be correct. 2, fiche 3, Anglais, - exit%20assertion
Record number: 3, Textual support number: 1 OBS
output assertion: term and definition standardized by the Institute of Electrical and Electronics Engineers (IEEE). 3, fiche 3, Anglais, - exit%20assertion
Fiche 3, Français
Fiche 3, Domaine(s)
- Programmes et programmation (Informatique)
Fiche 3, La vedette principale, Français
- assertion de sortie
1, fiche 3, Français, assertion%20de%20sortie
correct, nom féminin
Fiche 3, Les abréviations, Français
Fiche 3, Les synonymes, Français
Fiche 3, Justifications, Français
Record number: 3, Textual support number: 1 DEF
Expression logique spécifiant une ou plusieurs conditions auxquelles les sorties de programme doivent satisfaire pour que le programme soit correct. 2, fiche 3, Français, - assertion%20de%20sortie
Fiche 3, Espagnol
Fiche 3, Justifications, Espagnol
Fiche 4 - données d’organisme externe 2006-01-30
Fiche 4, Anglais
Fiche 4, Subject field(s)
- Compartment - ISO/IEC JTC 1 Information Technology Vocabulary
Universal entry(ies) Fiche 4
Fiche 4, La vedette principale, Anglais
- loop assertion
1, fiche 4, Anglais, loop%20assertion
correct, normalisé
Fiche 4, Les abréviations, Anglais
Fiche 4, Les synonymes, Anglais
Fiche 4, Justifications, Anglais
Record number: 4, Textual support number: 1 DEF
logical expression specifying one or more conditions that must be met each time a particular part of a loop is executed 1, fiche 4, Anglais, - loop%20assertion
Record number: 4, Textual support number: 1 OBS
loop assertion: term and definition standardized by ISO/IEC [ISO/IEC 2382-7:2000]. 2, fiche 4, Anglais, - loop%20assertion
Fiche 4, Français
Fiche 4, Domaine(s)
- Tiroir - ISO/CEI JTC 1 Vocabulaire des technologies de l'information
Entrée(s) universelle(s) Fiche 4
Fiche 4, La vedette principale, Français
- condition de boucle
1, fiche 4, Français, condition%20de%20boucle
correct, nom féminin, normalisé
Fiche 4, Les abréviations, Français
Fiche 4, Les synonymes, Français
Fiche 4, Justifications, Français
Record number: 4, Textual support number: 1 DEF
expression logique spécifiant une ou plusieurs conditions qui doivent être satisfaites chaque fois qu'on veut exécuter une partie déterminée d'une boucle 1, fiche 4, Français, - condition%20de%20boucle
Record number: 4, Textual support number: 1 OBS
condition de boucle : terme et définition normalisés par l'ISO/CEI [ISO/IEC 2382-7:2000]. 2, fiche 4, Français, - condition%20de%20boucle
Fiche 4, Espagnol
Fiche 4, Justifications, Espagnol
Fiche 5 - données d’organisme interne 2004-07-15
Fiche 5, Anglais
Fiche 5, Subject field(s)
- Computer Mathematics
- Artificial Intelligence
Fiche 5, La vedette principale, Anglais
- logical equation
1, fiche 5, Anglais, logical%20equation
correct
Fiche 5, Les abréviations, Anglais
Fiche 5, Les synonymes, Anglais
- logic expression 2, fiche 5, Anglais, logic%20expression
correct
- logical expression 3, fiche 5, Anglais, logical%20expression
correct
Fiche 5, Justifications, Anglais
Record number: 5, Textual support number: 1 DEF
A Boolean grouping of variables describing a logic condition. 2, fiche 5, Anglais, - logical%20equation
Fiche 5, Français
Fiche 5, Domaine(s)
- Mathématiques informatiques
- Intelligence artificielle
Fiche 5, La vedette principale, Français
- équation logique
1, fiche 5, Français, %C3%A9quation%20logique
correct, nom féminin
Fiche 5, Les abréviations, Français
Fiche 5, Les synonymes, Français
Fiche 5, Justifications, Français
Record number: 5, Textual support number: 1 DEF
Équations booléennes décrivant le fonctionnement du séquenceur central, c'est-à-dire reliant les différentes microcommandes aux informations d'entrée et d'état du séquenceur. 2, fiche 5, Français, - %C3%A9quation%20logique
Fiche 5, Espagnol
Fiche 5, Campo(s) temático(s)
- Matemáticas para computación
- Inteligencia artificial
Fiche 5, La vedette principale, Espagnol
- ecuación lógica
1, fiche 5, Espagnol, ecuaci%C3%B3n%20l%C3%B3gica
correct, nom féminin
Fiche 5, Les abréviations, Espagnol
Fiche 5, Les synonymes, Espagnol
- expresión lógica 2, fiche 5, Espagnol, expresi%C3%B3n%20l%C3%B3gica
correct, nom féminin
Fiche 5, Justifications, Espagnol
Record number: 5, Textual support number: 1 DEF
Expresión que consiste en constantes lógicas, elementos lógicos variables, referencias de funciones y de combinaciones de dichos operandos, separados por operadores lógicos específicos y paréntesis. 2, fiche 5, Espagnol, - ecuaci%C3%B3n%20l%C3%B3gica
Fiche 6 - données d’organisme interne 1999-04-27
Fiche 6, Anglais
Fiche 6, Subject field(s)
- Computer Programs and Programming
Fiche 6, La vedette principale, Anglais
- assertion
1, fiche 6, Anglais, assertion
correct, normalisé
Fiche 6, Les abréviations, Anglais
Fiche 6, Les synonymes, Anglais
Fiche 6, Justifications, Anglais
Record number: 6, Textual support number: 1 DEF
A logical expression specifying a program state that must exist or a set of conditions that program variables must satisfy at a particular point during program execution, for example, A is positive and A is greater than B. 2, fiche 6, Anglais, - assertion
Record number: 6, Textual support number: 2 DEF
A language construct specifying a particular status that must exist or a particular condition that must be satisfied at a particular point of a program when it will be executed. 3, fiche 6, Anglais, - assertion
Record number: 6, Textual support number: 1 OBS
assertion: term standardized by CSA, IEEE and ISO/IEC. 4, fiche 6, Anglais, - assertion
Fiche 6, Français
Fiche 6, Domaine(s)
- Programmes et programmation (Informatique)
Fiche 6, La vedette principale, Français
- assertion
1, fiche 6, Français, assertion
correct, nom féminin, normalisé
Fiche 6, Les abréviations, Français
Fiche 6, Les synonymes, Français
Fiche 6, Justifications, Français
Record number: 6, Textual support number: 1 DEF
Élément de langage qui spécifie l'état particulier qui doit exister ou la condition particulière que l'on doit satisfaire en un certain point de l'exécution d'un programme. 2, fiche 6, Français, - assertion
Record number: 6, Textual support number: 1 OBS
assertion : terme normalisé par la CSA et l'ISO/CEI. 3, fiche 6, Français, - assertion
Fiche 6, Espagnol
Fiche 6, Campo(s) temático(s)
- Programas y programación (Informática)
Fiche 6, La vedette principale, Espagnol
- aserto
1, fiche 6, Espagnol, aserto
correct, nom masculin
Fiche 6, Les abréviations, Espagnol
Fiche 6, Les synonymes, Espagnol
Fiche 6, Justifications, Espagnol
Fiche 7 - données d’organisme interne 1995-10-20
Fiche 7, Anglais
Fiche 7, Subject field(s)
- Computer Programs and Programming
Fiche 7, La vedette principale, Anglais
- loop assertion
1, fiche 7, Anglais, loop%20assertion
correct, normalisé
Fiche 7, Les abréviations, Anglais
Fiche 7, Les synonymes, Anglais
Fiche 7, Justifications, Anglais
Record number: 7, Textual support number: 1 DEF
A logical expression specifying one or more conditions that must be met each time a particular part of a loop is executed. 1, fiche 7, Anglais, - loop%20assertion
Record number: 7, Textual support number: 1 OBS
Term and definition standardized by ISO/IEC. 2, fiche 7, Anglais, - loop%20assertion
Fiche 7, Français
Fiche 7, Domaine(s)
- Programmes et programmation (Informatique)
Fiche 7, La vedette principale, Français
- condition de boucle
1, fiche 7, Français, condition%20de%20boucle
correct, nom féminin, normalisé
Fiche 7, Les abréviations, Français
Fiche 7, Les synonymes, Français
Fiche 7, Justifications, Français
Record number: 7, Textual support number: 1 DEF
Expression logique spécifiant une ou plusieurs conditions qui doivent être satisfaites chaque fois qu'on veut exécuter une partie déterminée d'une boucle. 1, fiche 7, Français, - condition%20de%20boucle
Record number: 7, Textual support number: 1 OBS
Terme et définition normalisés par l'ISO/CEI. 2, fiche 7, Français, - condition%20de%20boucle
Fiche 7, Espagnol
Fiche 7, Justifications, Espagnol
Fiche 8 - données d’organisme interne 1990-11-23
Fiche 8, Anglais
Fiche 8, Subject field(s)
- Informatics
Fiche 8, La vedette principale, Anglais
- logical negation operator 1, fiche 8, Anglais, logical%20negation%20operator
Fiche 8, Les abréviations, Anglais
Fiche 8, Les synonymes, Anglais
Fiche 8, Justifications, Anglais
Record number: 8, Textual support number: 1 OBS
Justification proposed by Intergraph : The logical negation operator(!) can be placed in front of any other test expression to negate the result of the evaluation. 1, fiche 8, Anglais, - logical%20negation%20operator
Fiche 8, Français
Fiche 8, Domaine(s)
- Informatique
Fiche 8, La vedette principale, Français
- opérateur de négation logique
1, fiche 8, Français, op%C3%A9rateur%20de%20n%C3%A9gation%20logique
nom masculin
Fiche 8, Les abréviations, Français
Fiche 8, Les synonymes, Français
Fiche 8, Justifications, Français
Fiche 8, Espagnol
Fiche 8, Justifications, Espagnol
Fiche 9 - données d’organisme interne 1990-06-21
Fiche 9, Anglais
Fiche 9, Subject field(s)
- Informatics
- Computer Graphics
Fiche 9, La vedette principale, Anglais
- test expression 1, fiche 9, Anglais, test%20expression
Fiche 9, Les abréviations, Anglais
Fiche 9, Les synonymes, Anglais
Fiche 9, Justifications, Anglais
Record number: 9, Textual support number: 1 OBS
Justification proposed by Intergraph : The logical negation operator can be placed in front of any other test expression to negate the result of the evaluation. 1, fiche 9, Anglais, - test%20expression
Fiche 9, Français
Fiche 9, Domaine(s)
- Informatique
- Infographie
Fiche 9, La vedette principale, Français
- expression-test 1, fiche 9, Français, expression%2Dtest
Fiche 9, Les abréviations, Français
Fiche 9, Les synonymes, Français
Fiche 9, Justifications, Français
Fiche 9, Espagnol
Fiche 9, Justifications, Espagnol
Fiche 10 - données d’organisme interne 1989-06-23
Fiche 10, Anglais
Fiche 10, Subject field(s)
- Artificial Intelligence
- Mathematics
Fiche 10, La vedette principale, Anglais
- informal reasoning
1, fiche 10, Anglais, informal%20reasoning
correct
Fiche 10, Les abréviations, Anglais
Fiche 10, Les synonymes, Anglais
Fiche 10, Justifications, Anglais
Record number: 10, Textual support number: 1 CONT
The definition of a special internal language to represent informal reasoning and follow a sequence of arguments is somewhat similar to EXCHECK's treatment of proofs, although ACE's language is based on a grammar rather than on logical macro-operators. This gives the student more freedom of expression. The translation of her statements into the formal language is done with a semantic grammar, as defined by Burton and used in SOPHIE. The elements of the formal language that record the traces internally constitute the semantic categories to be looked for(such as facts, equations, and deductions), organized into successive arguments. In this case, the parser has the interesting ability to interact with the student when it encounters difficulties, asking for specific corrections until it can satisfy its expectations. 1, fiche 10, Anglais, - informal%20reasoning
Fiche 10, Français
Fiche 10, Domaine(s)
- Intelligence artificielle
- Mathématiques
Fiche 10, La vedette principale, Français
- raisonnement informel
1, fiche 10, Français, raisonnement%20informel
correct, nom masculin
Fiche 10, Les abréviations, Français
Fiche 10, Les synonymes, Français
Fiche 10, Justifications, Français
Fiche 10, Espagnol
Fiche 10, Justifications, Espagnol
Fiche 11 - données d’organisme interne 1988-05-10
Fiche 11, Anglais
Fiche 11, Subject field(s)
- Computer Programs and Programming
Fiche 11, La vedette principale, Anglais
- input assertion
1, fiche 11, Anglais, input%20assertion
correct, normalisé
Fiche 11, Les abréviations, Anglais
Fiche 11, Les synonymes, Anglais
Fiche 11, Justifications, Anglais
Record number: 11, Textual support number: 1 DEF
A logical expression specifying one or more conditions that program inputs must satisfy in order to be valid. 1, fiche 11, Anglais, - input%20assertion
Record number: 11, Textual support number: 1 OBS
input assertion: STD-IEEE (term and definition). 2, fiche 11, Anglais, - input%20assertion
Fiche 11, Français
Fiche 11, Domaine(s)
- Programmes et programmation (Informatique)
Fiche 11, La vedette principale, Français
- assertion d'entrée
1, fiche 11, Français, assertion%20d%27entr%C3%A9e
correct, nom féminin
Fiche 11, Les abréviations, Français
Fiche 11, Les synonymes, Français
Fiche 11, Justifications, Français
Record number: 11, Textual support number: 1 DEF
Expression logique spécifiant une ou plusieurs conditions auxquelles les entrées d'un programme doivent satisfaire pour être valides. 1, fiche 11, Français, - assertion%20d%27entr%C3%A9e
Fiche 11, Espagnol
Fiche 11, Justifications, Espagnol
Fiche 12 - données d’organisme interne 1988-03-25
Fiche 12, Anglais
Fiche 12, Subject field(s)
- Computer Programs and Programming
Fiche 12, La vedette principale, Anglais
- path expression
1, fiche 12, Anglais, path%20expression
correct, normalisé
Fiche 12, Les abréviations, Anglais
Fiche 12, Les synonymes, Anglais
Fiche 12, Justifications, Anglais
Record number: 12, Textual support number: 1 DEF
A logical expression indicating the input conditions that must be met in order for a particular program path to be executed. 1, fiche 12, Anglais, - path%20expression
Record number: 12, Textual support number: 1 OBS
path expression: STD-IEEE (term and definition). 2, fiche 12, Anglais, - path%20expression
Fiche 12, Français
Fiche 12, Domaine(s)
- Programmes et programmation (Informatique)
Fiche 12, La vedette principale, Français
- instruction de choix d'une branche
1, fiche 12, Français, instruction%20de%20choix%20d%27une%20branche
correct, nom féminin
Fiche 12, Les abréviations, Français
Fiche 12, Les synonymes, Français
Fiche 12, Justifications, Français
Record number: 12, Textual support number: 1 DEF
Expression logique indiquant les conditions d'entrée qui doivent être remplies pour que les opérations d'une branche particulière du programme soient exécutées. 1, fiche 12, Français, - instruction%20de%20choix%20d%27une%20branche
Fiche 12, Espagnol
Fiche 12, Justifications, Espagnol
Fiche 13 - données d’organisme interne 1985-04-03
Fiche 13, Anglais
Fiche 13, Subject field(s)
- Computer Mathematics
Fiche 13, La vedette principale, Anglais
- sum-of-products
1, fiche 13, Anglais, sum%2Dof%2Dproducts
correct
Fiche 13, Les abréviations, Anglais
Fiche 13, Les synonymes, Anglais
- sum-of-product 2, fiche 13, Anglais, sum%2Dof%2Dproduct
Fiche 13, Justifications, Anglais
Record number: 13, Textual support number: 1 DEF
A logical expression formed by ORing each of the individual terms of a function, each term formed as an ANDing of variables. 1, fiche 13, Anglais, - sum%2Dof%2Dproducts
Fiche 13, Français
Fiche 13, Domaine(s)
- Mathématiques informatiques
Fiche 13, La vedette principale, Français
- somme de produits
1, fiche 13, Français, somme%20de%20produits
nom féminin
Fiche 13, Les abréviations, Français
Fiche 13, Les synonymes, Français
Fiche 13, Justifications, Français
Fiche 13, Espagnol
Fiche 13, 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 :