existential quantifier

Квантор існування

екзистенційний квантор