TERMIUM Plus^®

Record 1,  Textual support,  English

Record number: 1, Textual support number: 1 CONT

In the case of quantified constraint satisfaction, the set of constraints is accompanied by a linear order of the variables and an existential or universal quantifier associated with each variable.  2, record 1, English, - quantified%20constraint%20satisfaction

Record 1,  Textual support,  French

Record 1,  Textual support,  Spanish

Record 2,  Textual support,  English

Record number: 2, Textual support number: 1 DEF

A logical relation used to form true or false statements from predicates, such as the existential quantifier or the universal quantifier.  3, record 2, English, - quantifier

Record 2,  Textual support,  French

Record number: 2, Textual support number: 1 DEF

Relation logique qui transforme une fonction en proposition, comme le quantificateur existentiel ou universel (voir DULIN, 1984, p.401).  2, record 2, French, - quantificateur

Record number: 2, Textual support number: 1 CONT

On peut citer l'ambiguïté de portée des quantificateurs, en particulier l'importance de l'ordre des mots pour la compréhension automatique.  3, record 2, French, - quantificateur

Record 2,  Textual support,  Spanish

Record 3,  Textual support,  English

Record number: 3, Textual support number: 1 DEF

The punctuation mark ! used after exclamations and vehement commands.  1, record 3, English, - exclamation%20mark

Record number: 3, Textual support number: 1 OBS

This mark used for any other purpose, as to draw attention to an obvious mistake, in road warning signs,(in chess commentaries) beside the notation of a move considered a good one,(in mathematics) as a symbol of the factorial function, or(in logic) occurring with an existential quantifier.  1, record 3, English, - exclamation%20mark

Record 3,  Textual support,  French

Record number: 3, Textual support number: 1 DEF

Signe de ponctuation [!] qui suit toujours une exclamation ou une phrase exclamative.  1, record 3, French, - point%20d%27exclamation

Record 3,  Textual support,  Spanish

Record 4,  Textual support,  English

Record number: 4, Textual support number: 1 OBS

existential: assertive either explicitly or by implication of existence or actuality as opposed to mere possibility, conceivability or ideality or to mere explication of meaning.  2, record 4, English, - existential%20quantifier

Record 4,  Textual support,  French

Record number: 4, Textual support number: 1 DEF

Les quantificateurs existentiels (il existe un x qui) permettent de préciser la portée d'une assertion comme s'appliquant à au moins une valeur de x.  2, record 4, French, - quantificateur%20existentiel

Record number: 4, Textual support number: 1 OBS

d'autres quantificateurs existentiels sont possibles: il existe exactement un x, il existe beaucoup de x, il existe une infinité de x, il existe au plus un x, etc.  3, record 4, French, - quantificateur%20existentiel

Record 4,  Textual support,  Spanish

Record 5,  Textual support,  English

Record number: 5, Textual support number: 1 DEF

A prefix that binds the variables in a logical formula by specifying their quantity. See existential operator, universal quantifier.  1, record 5, English, - logical%20quantifier

Record 5,  Textual support,  French

Record number: 5, Textual support number: 1 CONT

Parmi les tentatives de donner plus de rigueur aux représentations en réseaux sémantiques, citons (...) l'introduction de la logique du premier ordre, c'est-à-dire principalement la possibilité d'utiliser les quantifieurs logiques dans les réseaux.  2, record 5, French, - quantificateur%20logique

Record 5,  Textual support,  Spanish

Record 6,  Textual support,  English

Record number: 6, Textual support number: 1 CONT

quantifier : one of the two symbols used in the extended propositional calculus and the predicate calculus. The universal quantifier is read "for all" and the existential quantifier is read "there exists". One or more variables must immediately follow the quantifier; they are called "bound variables". These must be followed by a predicate, which may contain variables known as "free variables". The whole quantified predicate states the truth value of the predicate concerning the free variables...  1, record 6, English, - quantified%20variable

Record 6,  Textual support,  French

Record number: 6, Textual support number: 1 CONT

La distinction importante entre logique des propositions et logique des prédicats. La puissance additionnelle de la logique des prédicats résulte de la possibilité d'utiliser des variables quantifiées.  1, record 6, French, - variable%20quantifi%C3%A9e

Record 6,  Textual support,  Spanish