존재양화사 (Existential Quantifier)
한 줄 정의: 논의 영역에 속한 대상 중 적어도 하나가 어떤 명제함수를 만족함을 나타내는 양화사로, 기호 ∃로 표시된다.
쉽게 풀면
존재양화사는 '어떤 x가 존재하여'라는 뜻을 나타내는 논리 기호(∃)이다. '∃x(x는 소수이고 x는 짝수이다)'는 '소수이면서 짝수인 x가 적어도 하나 존재한다'는 뜻으로, 실제로 2가 그 예에 해당하므로 이 명제는 참이다.
논문에서는 이렇게 쓰입니다
"이 존재 증명은 조건을 만족하는 구체적인 대상을 직접 제시함으로써 존재양화사가 붙은 명제를 확립한다."
존재 명제를 증명하는 가장 직접적인 방법이, 조건을 만족하는 구체적인 예시를 하나 찾아 제시하는 것임을 보여주는 수학적 증명 방식을 설명한다.
주의할 점
존재양화사가 붙은 명제 '어떤 x는 P이다'가 참이려면 논의 영역에 실제로 그런 대상이 적어도 하나는 존재해야 하며, 이는 공허하게 참이 될 수 있는 전칭 명제와 대비된다는 점에 유의해야 한다.