'집합 A의 원소 x 중에서 p(x)가 참이 되도록 하는 것이 하나 이상 존재함'을
$\exists x\in A:p(x)$ 로 표기.

그 부정은 $\forall x\in A:\left[\sim p(x)\right]$

사용하는 기호/양화사: [[존재기호existential_quantifier]]

Up: [[한정명제]]