quantificateur universel
étymologie
locution nominale
traductions
Ce texte est extrait du Wiktionnaire et il est disponible sous licence CC BY-SA 3.0 | Terms and conditions | Privacy policy 0.003
étymologie
Composé du nom quantificateur et de l’adjectif universel.
locution nominale
quantificateur universel
- (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 ».
- anglais : universal quantifier
Ce texte est extrait du Wiktionnaire et il est disponible sous licence CC BY-SA 3.0 | Terms and conditions | Privacy policy 0.003