Quantificateur universel

Définitions de « quantificateur universel »

Quantificateur universel - Locution nominale

• (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 ».

Étymologie de « quantificateur universel »

(Date à préciser) Composé du nom quantificateur et de l’adjectif universel.

Évolution historique de l’usage du mot « quantificateur universel » depuis 1800

Sources et ressources complémentaires

• Définitions du Wiktionnaire