Kvantifikátor jednoznačné existence

Z Wikipedie, otevřené encyklopedie

Kvantifikátor jednoznačné existence je matematický symbol, používaný nejčastěji v predikátové logice. Je odvozen od existenčního kvantifikátoru přidáním symbolu „!“, který vlastně zpřísňuje výrok.

Jeho zápis ve tvaru ∃!x∈M f(x) znamená „Existuje právě 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 existenčním kvantifikátorem.

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