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

Schlossberg, Lynch & Chickering(1989) define mattering as the "belief people have, whether right or wrong, that they matter to someone else, that they are the object of someone else's attention, and that others care about them and appreciate them". Mattering has been specifically studied in relation to juvenile delinquency(Rosenberg & McCullough, 1981) and adult learning(Schlossberg & Warren, 1985). It seems a logical extension to consider the matter of mattering in relation to the experience of people who are unemployed.  1, fiche 2, Anglais, - mattering

Fiche 2,  Justifications,  Français

Fiche 2,  Justifications,  Espagnol

Fiche 3,  Justifications,  Anglais

Record number: 3, 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, fiche 3, Anglais, - quantifier

Fiche 3,  Justifications,  Français

Record number: 3, 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, fiche 3, Français, - quantificateur

Record number: 3, 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, fiche 3, Français, - quantificateur

Fiche 3,  Justifications,  Espagnol

Fiche 4,  Justifications,  Anglais

Record number: 4, Textual support number: 1 DEF

Peirce's notion of a reasoning, problem-solving machine that differs from any other machine merely in working upon an excessively simple principle which is applied in a manyfold and complex way, instead of upon an occult principle applied in a monotonous way. The only thing that matters is whether the result which the logical machine turns out has a relation to the data with which it is fed, which relation may be considered from the point of view of whether the former could be false so long as the latter are true.  1, fiche 4, Anglais, - logical%20machine

Fiche 4,  Justifications,  Français

Record number: 4, Textual support number: 1 OBS

Terminologie de Peirce.  1, fiche 4, Français, - machine%20logique

Fiche 4,  Justifications,  Espagnol