quantificateur universel

== Français == === Étymologie === (Date à préciser) Composé du nom quantificateur et de l’adjectif universel. === Locution nominale === 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 ==== quantificateur existentiel ==== Traductions ==== === Prononciation === France (Toulouse) : écouter « quantificateur universel [Prononciation ?] » (Région à préciser) : écouter « quantificateur universel [Prononciation ?] » Cesseras (France) : écouter « quantificateur universel [Prononciation ?] » === Voir aussi === quantificateur universel sur l’encyclopédie Wikipédia