존재 양화사

위키백과, 우리 모두의 백과사전.
둘러보기로 가기 검색하러 가기

술어 논리에서 존재 양화(existential quantification)란, 양화의 일종으로, 주어진 술어를 만족시키는 객체가 논의 영역에 적어도 하나 존재함을 나타낸다. 이는 논리 연산 기호 ∃로 표현되며, 이 기호를 존재 양화사 또는 존재 기호라 한다. 보편 양화사와 함께 술어 논리의 주요한 양화사의 하나이다.

같이 보기[편집]