Kwantyfikator egzystencjalny
Z Wikipedii
Kwantyfikator egzystencjalny (mały kwantyfikator,kwantyfikator szczegółowy) to kwantyfikator mówiący, że istnieje takie podstawienie zmiennej, że dane twierdzenie zachodzi.
Istnieją dwie formy zapisu kwantyfikatora egzystencjalnego:
(ta forma zapisu jest związana z angielskim stwierdzeniem "EXIST")
oraz
Co czyta się "istnieje takie x dla którego zachodzi (jest prawdziwe) 
". Używa się też uproszczonej notacji wyrażenia "dla pewnego x należącego do zbioru 
zachodzi ". Mianowicie, zamiast
pisze się
Jeżeli 
stanowi podzbiór (niekoniecznie właściwy) argumentów to:
Stosowany bywa również zapis
co oznacza "istnieje dokładnie jedno x z A, dla którego zachodzi ".
Zanegowany kwantyfikator egzystencjalny staje się kwantyfikatorem ogólnym i na odwrót:
