text: # quantificateur existentiel
  
  ## Français
  
  ### Étymologie
  
      (Date à préciser) Composé du nom quantificateur et de l’adjectif existentiel.
  
  ### 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)
  
  **Vocabulaire apparenté par le sens**
  
  * quantificateur universel
  
  **Traductions**
  
  * Allemand : Existenzquantor (de) masculin
  * Anglais : existential quantifier (en)
  * Japonais : 存在量化子 (ja) sonzai ryōkashi
  * Russe : квантор существования (ru) masculin
  