존재명제 Copy: 존재명제 has NO comma Hide Show 존재명제 (rev. 1.2) '집합 A의 원소 x 중에서 p(x)가 참이 되도록 하는 것이 하나 이상 존재함'을 $\displaystyle \exists x\in A:p(x)$ 로 표기. 그 부정은 $\displaystyle \forall x\in A:\left[\sim p(x)\right]$ Up: 한정명제