양화
(양화사에서 넘어옴)
![](http://upload.wikimedia.org/wikipedia/commons/thumb/4/4a/Disambig_grey.svg/23px-Disambig_grey.svg.png)
논리학이나 언어학에서 양화(量化, quantification)란 자유변항을 가진 논리식이 적용되는 의논영역(domain of discourse)에 있는 개체의 '양'(量)을 지정하는 것을 이르는 말이다. 또한 이러한 역할을 하는 요소를 양화사(量化詞, quantifier), 정량자(定量子)라고 한다.
술어논리의 두 가지의 가장 일반적인 양화사로는, "모든 ~에 대하여"라는 의미의 보편 양화사(∀, universal quantifier)와 와 "~가 존재한다"는 의미의 존재 양화사(∃, existential quantifier)가 있다.
같이 보기
편집이 글은 철학에 관한 토막글입니다. 여러분의 지식으로 알차게 문서를 완성해 갑시다. |