Définitions›quantificateur existentiel
quantificateur existentiel
nom masculin/kɑ̃.ti.fi.ka.tœ.ʁ‿ɛɡ.zis.tɑ̃.sjɛl/
- LogiqueOpé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 ».
SynonymesSynonymes de quantificateur existentielmots de sens proche
Dictionnaire de rimesRimes avec quantificateur existentielrimes riches, suffisantes et pauvres
Définitions issus du Wiktionnaire (via DBnary), sous licence CC BY-SA 3.0.