Všeobecný kvantifikátor

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

Na množine prirodzených čísel je možné opísať vzťah

\forall x\in N:x\geq 0

,

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

Pozri aj

Externé odkazy

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

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.