Quantificateur

Regardez d'autres dictionnaires:

• quantificateur — [ kɑ̃tifikatɶr ] n. m. • 1929 ling.; de quantifier ♦ Log. Symbole qui lie une ou plusieurs variables à une quantité. Quantificateur universel (∀ = « pour tout »). Quantificateur existentiel (∃ = « il existe au moins un »). ● quantificateur ou… …   Encyclopédie Universelle

• Quantificateur universel — Quantificateur (logique) Pour les articles homonymes, voir Quantificateur. Les expressions « pour tout » et « il existe » utilisées pour formuler des propositions mathématiques dans le calcul des prédicats sont appelées des… …   Wikipédia en Français

• Quantificateur existentiel — ● Quantificateur existentiel symbole noté ∃ (s énonçant « il existe »), exprimant le fait que certains éléments d un ensemble (au moins un) vérifient une proposition, une propriété données …   Encyclopédie Universelle

• Quantificateur universel — ● Quantificateur universel symbole noté ∀ (qui s énonce pour tout) et exprimant qu une certaine propriété appartient à tous les éléments d un ensemble …   Encyclopédie Universelle

• Quantificateur (grammaire) — Pour les articles homonymes, voir Quantificateur. En grammaire, un quantificateur est une sous catégorie de déterminant indéfini, ajoutant une idée de quantité à l actualisation du nom noyau. Pour certains grammairiens le quantificateur est… …   Wikipédia en Français

• Quantificateur (logique) — Pour les articles homonymes, voir Quantificateur. Les expressions « pour tout » et « il existe » utilisées pour formuler des propositions mathématiques dans le calcul des prédicats sont appelées des quantifications et le… …   Wikipédia en Français

• Quantificateur existentiel — Notation (mathématiques) Pour les articles homonymes, voir Notation. On utilise en mathématiques un ensemble de notations pour condenser et formaliser les énoncés et les démonstrations. Quand deux traductions d une notation sont données, l une… …   Wikipédia en Français

• Étendue d'un quantificateur — ● Étendue d un quantificateur synonyme de champ d un quantificateur …   Encyclopédie Universelle

• quantifieur — ● quantificateur ou quantifieur nom masculin Déterminant exprimant une idée de quantité (par exemple tout, deux, chaque). Symbole spécifique d un langage formel, dont l emploi syntaxique est régi par des règles de formation et d inférence et dont …   Encyclopédie Universelle

• Quantificateurs existentiels — Quantificateur (logique) Pour les articles homonymes, voir Quantificateur. Les expressions « pour tout » et « il existe » utilisées pour formuler des propositions mathématiques dans le calcul des prédicats sont appelées des… …   Wikipédia en Français