Définitionsquantificateur universel

quantificateur universel

nom masculin
/kɑ̃.ti.fi.ka.tœ.ʁ‿y.ni.vɛʁ.sɛl/
  1. LogiqueOpé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 ».

Définitions issus du Wiktionnaire (via DBnary), sous licence CC BY-SA 3.0.