struna search engine

image shadow

egzistencijalni kvantifikator

PDF ispis
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
grana: matematička logika i računarstvo
projekt: Izgradnja hrvatskoga nazivlja u matematici – temeljni pojmovi