quantificateur
ou
quantifieur
nom masculin
- 1. Déterminant exprimant une idée de quantité (par exemple tout, deux, chaque).
- 2. 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 l'emploi sémantique est régi par des règles d'interprétation. (Les quantificateurs les plus utilisés sont le quantificateur existentiel et le quantificateur universel.)
Synonyme :