quantificateur universel

Français

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

Locution nominale

SingulierPluriel
quantificateur universel quantificateurs universels
\kɑ̃.ti.fi.ka.tœ.ʁ‿y.ni.vɛʁ.sɛl\

quantificateur universel \kɑ̃.ti.fi.ka.tœ.ʁ‿y.ni.vɛʁ.sɛl\ masculin

  1. (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

Traductions
Opérateur indiquant qu’un prédicat est vrai pour tous les élements (1)

Prononciation
  • France (Toulouse) : écouter « quantificateur universel »
  • (Région à préciser) : écouter « quantificateur universel [Prononciation ?] »

Voir aussi
Cet article est issu de Wiktionary. Le texte est sous licence Creative Commons - Attribution - Sharealike. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.