quantificateur [kɑ̃tifikatœʀ] n. m.
log., math. Opérateur reliant une ou plusieurs variables à une quantité; symbole de cet opérateur. Quantificateur universel (∀ = « pour tout, quel que soit »). Quantificateur existentiel (∃ = « il existe au moins un »).
ORTHOGRAPHE
| nom masculin | |||||
|---|---|---|---|---|---|
|
quantificateur
|
|