- olemasolukvantor - kvantor 
, mille rakendamine predikaadile P annab lause, mis väidab predikaadile P vastava inidviidi olemasolu. Kirjutis 
tähendab "leidub selline x, et P(x)". Näiteks lause
väidab, et leidub vähemalt üks niisugune nurk, mille siinus on 1.