Définition de quantificateur existentiel | Babel Free
/\kɑ̃.ti.fi.ka.tœ.ʁ‿ɛɡ.zis.tɑ̃.sjɛl\/Définitions
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 ».
Équivalents
English
existential quantifier
Niveau CECR
B2
Intermédiaire avancé
Ce mot fait partie du vocabulaire CECR B2 — niveau intermédiaire avancé.
Ce mot fait partie du vocabulaire CECR B2 — niveau intermédiaire avancé.