∃ – olemasolukvantor (existential quantifier), mille indikaatoriteks on tavaliselt sõnad mõni, mõned, leidub vähemalt üks. Olemasolukvantori indikaatoriteks võib olla teisigi fraase, nt on olemas, keegi, miski, millalgi, kusagil.4 Kvantori märgi taga peab alati olema näidatud ka muutuja, millele see kvantor rakendub, nt ∀x, seda võib lugeda nt „Iga x-i puhul …” või „Kõikide x-ide korral …”. Tänapäeval jäetakse üldisuskvantor sageli välja kirjutamata, st ∀xAx (kus Ax on unaarne predikaat) asemel kirjutatakse (x)Ax. Üldisuskvantori ∀ rakendamine unaarse predikaadi Px indiviidimuutujale x tekitab lause, mis ütleb, et igal muutuja x väärtusel (igal baashulga elemendil) on predikaadi P interpretatsiooniga kirjeldatud omadus Q (või kuuluvus predikaadi P tõehulka). Nt predikaat Ax – x on algarv, kus x∈ N (baashulgaks on naturaalarvude hulk). Üldisuskvantori ∀
olemasolukvantor (existential quantifier), mille indikaatoriteks on tavaliselt sõnad mõni, mõned, leidub vähemalt üks. Olemasolukvantori indikaatoriteks võib olla teisigi fraase, nt on olemas, keegi, miski, millalgi, kusagil.4 Kvantori märgi taga peab alati olema näidatud ka muutuja, millele see kvantor rakendub, nt x, seda võib lugeda nt ,,Iga x-i puhul ..." või ,,Kõikide x-ide korral ...". Tänapäeval jäetakse üldisuskvantor sageli välja kirjutamata, st xAx (kus Ax on unaarne predikaat) asemel kirjutatakse (x)Ax. Üldisuskvantori rakendamine unaarse predikaadi Px indiviidimuutujale x tekitab lause, mis ütleb, et igal muutuja x väärtusel (igal baashulga elemendil) on predikaadi P interpretatsiooniga kirjeldatud omadus Q (või kuuluvus predikaadi P tõehulka). Nt predikaat Ax x on algarv, kus x N (baashulgaks on naturaalarvude hulk). Üldisuskvantori rakendamisel predikaadi A muutujale x saame lause x Ax, mida võiks lugeda ,,Iga
annaabi.ee 
