quantificateur existentiel
# quantificateur existentiel
## Français
### Étymologie

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

# quantificateur existentiel
## Français
### Locution nominale

quantificateur existentiel \kɑ̃.ti.fi.ka.tœ.ʁ‿ɛɡ.zis.tɑ̃.sjɛl\ masculin
* (Logique) Opérateur, représenté par le symbole ∃ (E retourné), utilisé dans le calcul des prédicats pour indiquer qu’un prédicat est vrai pour au moins un élément d’un ensemble donné. Le symbole ∃ est lu « il existe (au moins un) ». Le symbole ∃! est lu « il existe un et un seul ».
** x=Dx y=Dy. Esi — (Commenter)

# quantificateur existentiel
## Français
### Locution nominale
#### Vocabulaire apparenté par le sens

* quantificateur universel

# quantificateur existentiel
## Français
### Locution nominale
#### Traductions

* Allemand : Existenzquantor (de) masculin
* Anglais : existential quantifier (en)
* Japonais : 存在量化子 (ja) sonzai ryōkashi
* Russe : квантор существования (ru) masculin