квантор існування () 

висловлювання  вигляду x P(x), де x- змінна, P(x) - предикат

логічні операції 

квантор загальності ()

висловлювання P(1, x), якщо відомо, що P(x,y) є висловлюванням “x = y”