quantificateur universel
Français[modifier le wikicode]
Étymologie[modifier le wikicode]
- (Date à préciser) Composé du nom quantificateur et de l’adjectif universel.
Locution nominale [modifier le wikicode]
| Singulier | Pluriel |
|---|---|
| quantificateur universel | quantificateurs universels |
| \kɑ̃.ti.fi.ka.tœ.ʁ‿y.ni.vɛʁ.sɛl\ | |
quantificateur universel \kɑ̃.ti.fi.ka.tœ.ʁ‿y.ni.vɛʁ.sɛl\ masculin
- (Logique) Opérateur, représenté par le symbole ∀ (A renversé) utilisé pour le calcul des prédicats pour indiquer qu’un prédicat est vrai pour tous les élements d’un certain ensemble. Le symbole ∀x se lit « pour tout x » ou « quel que soit x ».
- 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 tous les élements (1)
- Anglais : universal quantifier (en)
- Japonais : 全称量化子 (ja) zenshō ryōkashi
Prononciation[modifier le wikicode]
- France (Toulouse) : écouter « quantificateur universel [Prononciation ?] »
- (Région à préciser) : écouter « quantificateur universel [Prononciation ?] »
- Cesseras (France) : écouter « quantificateur universel [Prononciation ?] »
Voir aussi[modifier le wikicode]
- quantificateur universel sur l’encyclopédie Wikipédia
