Existenčný kvantifikátor

z Wikipédie, slobodnej encyklopé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 (v unicode ∃ U+2203 THERE EXISTS). Niekedy sa používa aj v modifikácií „existuje práve jedno“, ktoré sa značí ako .

Príklady[upraviť | upraviť zdroj]

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

,

teda, že existuje x (z množiny prirodzených čísel), pre ktoré platí, že je väčšie ako 3. Taktiež je možné 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.

Pozri aj[upraviť | upraviť zdroj]

Externé odkazy[upraviť | upraviť zdroj]