Všeobecný kvantifikátor

Z Wikipédie

Všeobecný kvantifikátor (iné názvy: všeobecný kvantor, veľký kvantifikátor, generalizátor) je kvantifikátor, ktorým sa nahradzuje spojenie „pre všetky“. Značí, že všetky opakovania výrazu, ktorý za ním nasleduje majú určitú vlastnosť. Jeho symbol je \forall.

[úprava] Príklad

Na množine prirodzených čísel môžme opísať vzťah

\forall x \isin N: x \ge 0,

teda, že pre všetky x (z množiny prirodzených čísel) platí, že sú väčšie alebo rovné nule.

[úprava] Pozri aj

[úprava] Externé odkazy

  • FILIT Zdroj, z ktorého pôvodne čerpal tento článok