Všeobecný kvantifikátor

z Wikipédie, slobodnej encyklopédie
Prejsť na: navigácia, hľadanie

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 (v unicode ∀ U+2200 FOR ALL).

Príklad[upraviť | upraviť zdroj]

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.

Pozri aj[upraviť | upraviť zdroj]

Externé odkazy[upraviť | upraviť zdroj]

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