주 메뉴 열기

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

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

같이 보기편집