양화

위키백과, 우리 모두의 백과사전.
(양화사에서 넘어옴)
둘러보기로 가기 검색하러 가기

논리학이나 언어학에서, 양화(量化, quantification)란 자유변항을 가진 논리식이 적용되는 의논영역(domain of discourse)에 있는 개체의 '양'(量)을 지정하는 것을 이르는 말이다. 또한 이러한 역할을 하는 요소를 양화사(量化詞, quantifier), 정량자(定量子)라고 한다.

술어논리의 두 가지의 가장 일반적인 양화사로는, "모든 ~에 대하여"라는 의미의 보편 양화사(∀, universal quantifier)와 와 "~가 존재한다"는 의미의 존재 양화사(∃, existential quantifier)가 있다.

같이 보기[편집]