quantificateur existentiel
Français[modifier le wikicode]
Étymologie[modifier le wikicode]
- (Date à préciser) Composé du nom quantificateur et de l’adjectif existentiel.
Locution nominale [modifier le wikicode]
| 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 ».
- Exemple d’utilisation manquant. (Ajouter)
Vocabulaire apparenté par le sens[modifier le wikicode]
Traductions[modifier le wikicode]
Opérateur indiquant qu’un prédicat est vrai pour au moins un élément (1)
- Allemand : Existenzquantor (de) masculin
- Anglais : existential quantifier (en)
- Japonais : 存在量化子 (ja) sonzai ryōkashi
- Russe : квантор существования (ru) masculin
Prononciation[modifier le wikicode]
- France (Toulouse) : écouter « quantificateur existentiel [Prononciation ?] »
- (Région à préciser) : écouter « quantificateur existentiel [Prononciation ?] »
- Cesseras (France) : écouter « quantificateur existentiel [Prononciation ?] »
Voir aussi[modifier le wikicode]
- quantificateur existentiel sur l’encyclopédie Wikipédia
