Existenční kvantifikátor

Z Wikipedie, otevřené encyklopedie

Existenční kvantifikátor je matematický symbol, používaný nejčastěji v predikátové logice.

Jeho zápis ve tvaru ∃x∈M f(x) znamená „Existuje alespoň jeden prvek x z množiny M, že pro něj platí formule f(x)“

Lze též použít zkrácený zápis ∃x f(x), pokud je doména prvku x zřejmá z kontextu.

Patří mezi základní kvantifikátory spolu s obecným (univerzálním) kvantifikátorem a kvantifikátorem jednoznačné existence.

Etymologie symbolu: ∃ - převrácené velké písmeno E z anglického Exists = existuje.