Existenčný kvantifikátor

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 $\mathrm{\exists }$ (v unicode ∃ U+2203 THERE EXISTS). Niekedy sa používa aj v modifikácií „existuje práve jedno“, ktoré sa značí ako $\mathrm{\exists }!$.

Príklady

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

$\mathrm{\exists }x\in N:x>3$,

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ť

$\mathrm{\exists }!x\in N:x>10\wedge x<12$,

č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

• všeobecný kvantifikátor

Externé odkazy

• Šablóna:Filit
• Existenčný kvantifikátor na pohodovamatematika.sk