Mot : quantificateur universel
Catégorie : N
Définition : 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.
Exemples : Le symbole ∀ se lit « pour tout x » ou « quelque soit x ».