Existenčný kvantifikátor

Z Wikipédie

Existenčný kvantifikátor (iné názvy: existenčný kvantor, malý kvantifikátor, malý kvantor, partikularizátor) je kvantifikátor, ktorým sa nahradzuje spojenie „existuje (aspoň jedno)“. To teda znamená, že pre minimálne jedno opakovanie výrazu, ktorý za ním nasleduje platí určitá vlastnosť. Jeho symbol je . Niekedy sa používa aj v modifikácií „existuje práve jedno“, ktoré sa značí ako .

[úprava] Príklady

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

,

teda, že existuje x (z množiny prirodzených čísel), pre ktoré platí, že je väčšie ako 3. Taktiež môžme zapísať

,

čo znamená, že existuje práve jedno prirodzené x, pre ktoré platí, že je väčšie ako 10 a zároveň menšie ako 12. Teda číslo 11.

[úprava] Pozri aj

• všeobecný kvantifikátor

[úprava] Externé odkazy

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