quantificateur existentiel
Définition, traduction, prononciation, anagramme et synonyme sur le dictionnaire libre Wiktionnaire.
Sommaire |
[modifier] Français
Étymologie
- Composé du nom quantificateur et de l’adjectif existentiel.
Locution nominale
| Singulier | Pluriel |
|---|---|
| quantificateur existentiel | quantificateurs existentiels |
| /kɑ̃.ti.fi.ka.tœ.ʁ‿ɛɡ.zis.tɑ̃.sjɛl/ | |
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.
Vocabulaire apparenté par le sens
Traductions
- anglais : existential quantifier (en)
- japonais : 存在量化子 (ja) (sonzai ryōkashi)
Voir aussi
- quantificateur existentiel sur Wikipédia
