definition |
kvantifikator koji primjenom na predikat tvrdi da je za određenu vrijednost varijable pripadna izjava istinita |
synonyms |
admitted term: opstojni količitelj |
equivalents |
english: existential quantifier |
symbol |
|
note |
Primjenom egzistencijalnoga kvantifikatora na predikat $P(x)$ dobija se izjava $(\exists x)P(x)$, koja se čita kao postoji iks pe iks. Ta je izjava istinita ako je za određenu vrijednost $a$ varijable $x$ izjava $P(a)$ istinita. |
classification |
polje: matematika |
source |
