1. 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 symbole qui les représente en langage formel est appelé un quantificateur (moins souvent un quanteur) et implanté par les caractères unicode (U+2200, ? et U+2203, ?), ou bien en html ∀.
2. (En logique et mathématiques) Opérateur qui associe une ou plusieurs variables à une certaine quantité.
3. (En grammaire) Mot déterminant la quantité d'éléments désignés par le substantif auquel il se rapporte.
NOTE IMPORTANTE: Il est possible de ?proclitiser? les dizaines qui s'accordent avec leurs quantificateurs, et lier celles qui ne s'accordent pas d'un trait d'union avec les leurs. - Joe Mintsa, Le Complet de La Langue Fang
4. (Dans les expressions rationnelles) Symbole spécifiant le nombre de fois qu'un élément doit être présent.
|
| (Programmation informatique) Élément regex indiquant le nombre d'occurrence.
|
|
|
1. (Grammaire) Déterminant indiquant la quantité par laquelle le substantif est défini.
2. 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.
|
|
|
(Logique) (Mathématiques) Opérateur reliant une ou plusieurs variables à une quantité.
|
|
1. (Par métonymie) Symbole représentant l'opérateur.
2. 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 symbole qui les représente en langage formel est appelé un quantificateur (moins souvent un quanteur) et implanté par les caractères unicode (U+2200, ? et U+2203, ?)' ou bien en html ∀.
|
|
