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.