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