한정 기호

다른 뜻에 대해서는 한정 기호 (동음이의) 문서를 참고하십시오.

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

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

같이 보기

• 술어 논리