quantificateur universel
É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)
- Croate : univerzalna kvantifikacija (hr)
- 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
