TERMIUM Plus^®

Fiche 1,  Justifications,  Anglais

Record number: 1, 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 1, Anglais, - universal%20quantification

Fiche 1,  Justifications,  Français

Record number: 1, 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 1, Français, - quantification%20universelle

Fiche 1,  Justifications,  Espagnol

Fiche 2,  Justifications,  Anglais

Record number: 2, Textual support number: 1 CONT

An operator, i. e. a logical symbol binding a variable, is called the abstraction operator if it transforms a sentential formula into a name of the set of those things which satisfy that formula.  2, fiche 2, Anglais, - abstraction%20operator

Fiche 2,  Justifications,  Français

Fiche 2,  Justifications,  Espagnol

Fiche 3,  Justifications,  Anglais

Record number: 3, Textual support number: 1 DEF

A two-valued variable, such as true or false, on or off, etc.  1, fiche 3, Anglais, - binary%20variable

Fiche 3,  Justifications,  Français

Record number: 3, Textual support number: 1 DEF

Variable de l'algèbre de Boole pouvant prendre soit la valeur 0, soit la valeur 1.  1, fiche 3, Français, - variable%20bool%C3%A9enne

Fiche 3,  Justifications,  Espagnol

Record number: 3, Textual support number: 1 DEF

Variable de tipo lógico o booleano, es decir, que sólo puede tomar los valores de "verdad" ó "falso".  1, fiche 3, Espagnol, - varibale%20l%C3%B3gica

Fiche 4,  Justifications,  Anglais

Record number: 4, Textual support number: 1 DEF

The project management technique that refers to the logical relationship that exists for the primary purpose of causing or providing the resulting variable of a noteworthy or significant delay in the initiation of the following and succeeding activities and work schedule events to take place.  2, fiche 4, Anglais, - lag

Fiche 4,  Justifications,  Français

Fiche 4,  Justifications,  Espagnol

Fiche 5,  Justifications,  Anglais

Record number: 5, Textual support number: 1 CONT

Timing simulators are programmable instruments that are used to create test waveforms. This allows a user to program variable state periods into a test, rather than rely solely on the fixed clock periods offered in standard work generators. This timing simulation capability is the ultimate step in the logical progression from pulse generation to word generation and beyond.  1, fiche 5, Anglais, - timing%20simulator

Fiche 5,  Justifications,  Français

Fiche 5,  Justifications,  Espagnol

Fiche 6,  Justifications,  Anglais

Record number: 6, Textual support number: 1 CONT

Crop yield patterns are a logical variable for determining areas within a field that need different treatments. Yield maps provide basic information for the setup of nutrient balances, the evaluation of iso-fertility, and enable control of the efficiency of the whole system.  1, fiche 6, Anglais, - yield%20map

Record number: 6, Textual support number: 1 OBS

Source(s): Internet.  1, fiche 6, Anglais, - yield%20map

Fiche 6,  Justifications,  Français

Fiche 6,  Justifications,  Espagnol

Fiche 7,  Justifications,  Anglais

Record number: 7, Textual support number: 1 DEF

A logical quantifier that asserts all values of a given variable in a formula.  2, fiche 7, Anglais, - universal%20quantifier

Fiche 7,  Justifications,  Français

Record number: 7, Textual support number: 1 DEF

Quantificateur [représenté par un A inversé signifiant "quel que soit x"] qui permet de préciser la portée de toute assertion comme s'appliquant à n'importe quelle valeur de x.  2, fiche 7, Français, - quantificateur%20universel

Record number: 7, Textual support number: 1 OBS

D'autres quantificateurs universels opèrent en logique non classique: pour presque tout x, pour exactement un x, pour au plus un x, etc.  3, fiche 7, Français, - quantificateur%20universel

Fiche 7,  Justifications,  Espagnol

Fiche 8,  Justifications,  Anglais

Record number: 8, 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 8, Anglais, - constant%20identifier

Fiche 8,  Justifications,  Français

Record number: 8, Textual support number: 1 OBS

Voir identificateur, constante, variable, opérateur logique.  1, fiche 8, Français, - identificateur%20constant

Fiche 8,  Justifications,  Espagnol