existential quantification 존재 양화사: 양화의 일종으로, 주어진 술어를 만족시키는 객체가 논의 영역에 적어도 하나가 존재함을 나타낸다. 이는 논리 연산 기호 ∃로 표현되며, ‘적어도 하나의’, ‘어떤’을 표현한다. universal quantifier 참조.