existenčný kvantifikátor

Text hesla

existenčný kvantifikátor, malý kvantifikátor — symbol \(\exists\) predikátového počtu (časť matematickej logiky) priraďujúci k predikátu \(P\) výrok \(\exists xP(x)\) (číta sa: existuje taký prvok \(x\), pre ktorý platí \(P(x))\), ktorého obsahom je tvrdenie, že množina pravdivosti predikátu \(P\) je neprázdna; napr. výrok \(\exists x \in \mathbb C |x| = 1\) tvrdí, že existuje (aspoň jedno) komplexné číslo, ktorého absolútna hodnota sa rovná 1.

Text hesla

existenčný kvantifikátor, malý kvantifikátor — symbol \(\exists\) predikátového počtu (časť matematickej logiky) priraďujúci k predikátu \(P\) výrok \(\exists xP(x)\) (číta sa: existuje taký prvok \(x\), pre ktorý platí \(P(x))\), ktorého obsahom je tvrdenie, že množina pravdivosti predikátu \(P\) je neprázdna; napr. výrok \(\exists x \in \mathbb C |x| = 1\) tvrdí, že existuje (aspoň jedno) komplexné číslo, ktorého absolútna hodnota sa rovná 1.

Zverejnené v júli 2005.

citácia

Existenčný kvantifikátor [online]. Encyclopaedia Beliana, ISBN 978-80-89524-30-3. [cit. 2019-09-16]. Dostupné na internete: https://beliana.sav.sk/heslo/existencny-kvantifikator