Existenčný kvantifikátor

z Wikipédie, slobodnej encyklopédie
Prejsť na: navigácia, hľadanie

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

Príklady[upraviť | upraviť zdroj]

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

\exists x \isin N: x > 3,

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

\exists ! x \isin N: x > 10 \land 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[upraviť | upraviť zdroj]

Externé odkazy[upraviť | upraviť zdroj]

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