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
Čeština
existenční kvantifikátor
Ελληνικά
υπαρκτικός ποσοδείκτης
English
existential quantifier
Español
cuantificador existencial
Italiano
quantificatore esistenziale
Português
quantificador existencial
Русский
ква́нтор существова́ния
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é.
Voir aussi
Know this word better than we do? Language is a living thing — help us keep it growing. Collaborate with Babel Free