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 .
[úprava] Príklad
Na množine prirodzených čísel môžme opísať vzťah

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