Существования Квантор

Логическая операция, служащая для образования высказываний с помощью оборота лдля некоторых х