egzisztenciális kvantor

Kapcsolódó fogalmak: 
univerzális kvantor
Rövid szöveges bemutatás: 
Az egzisztenciális kvantort az általánosításhoz alkalmazzuk. Azt tudjuk kifejezni vele, hogy az ismert objektumok közül létezik olyan, melyre a feltett függvény igaz értékkel tér vissza. Tehát olyan esetekben alkalmazhatjuk, hogy LÉTEZIK-x Megfog(x, Kocka), a keresést segítve ezzel. Feltehetően itt az x-et egy ember nevével fogjuk tudni majd helyettesíteni. De elindulhatunk a másik irányból is, amikor tudjuk, hogy Megfog(Jani, Kocka), és ebből írjuk fel, hogy LÉTEZIK-x Megfog(x, Kocka), ekkor általánosítást hajtottunk végre. De több változóra is bevezethetjük, például LÉTEZIK-x-y Megfog(x,y).