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 (v unicode ∃ U+2203 THERE EXISTS). Niekedy sa používa aj v modifikácií „existuje práve jedno“, ktoré sa značí ako .
Príklady
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
Externé odkazy
- FILIT – zdroj, z ktorého pôvodne čerpal tento článok.
- Existenčný kvantifikátor na pohodovamatematika.sk
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.