Univerzální kvantifikátor
Z Wikipedie, otevřené encyklopedie
Univerzální kvantifikátor je matematický symbol, používaný nejčastěji v predikátové logice.
Jeho zápis ve tvaru ∀x∈M f(x) znamená „Pro každý prvek x z množiny M 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 existenčním kvantifikátorem a kvantifikátorem jednoznačné existence.
Etymologie symbolu: ∀ - převrácené velké písmeno A z anglického All = všechno.
