# quantificateur universel

## Français

### Étymologie

    (Date à préciser) Composé du nom quantificateur et de l’adjectif universel.

### Locution nominale

quantificateur universel \kɑ̃.ti.fi.ka.tœ.ʁ‿y.ni.vɛʁ.sɛl\ masculin

* (Logique) Opérateur, représenté par le symbole ∀ (A renversé) utilisé pour le calcul des prédicats pour indiquer qu’un prédicat est vrai pour tous les élements d’un certain ensemble. Le symbole ∀x se lit « pour tout x » ou « quel que soit x ».

**Vocabulaire apparenté par le sens**

* quantificateur existentiel

**Traductions**

* Anglais : universal quantifier (en)
* Japonais : 全称量化子 (ja) zenshō ryōkashi
