quantificateur existentiel
É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
