Définition de quantificateur universel | Babel Free
/\kɑ̃.ti.fi.ka.tœ.ʁ‿y.ni.vɛʁ.sɛl\/Définitions
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 ».