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).

[upraviť] 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.

[upraviť] Pozri aj

[upraviť] Externé odkazy

  • FILIT – zdroj, z ktorého pôvodne čerpal tento článok.
Osobné nástroje
Menné priestory

Varianty
Operácie
Navigácia
Tlačiť/exportovať
Nástroje
V iných jazykoch