TERMIUM Plus^®

Fiche 1,  Justifications,  Anglais

Record number: 1, 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, fiche 1, Anglais, - quantified%20variable

Fiche 1,  Justifications,  Français

Record number: 1, 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, fiche 1, Français, - variable%20quantifi%C3%A9e

Fiche 1,  Justifications,  Espagnol