양화: 두 판 사이의 차이

내용 삭제됨 내용 추가됨
양화 (동음이의)에 대한 넘겨주기를 제거함
태그: 넘겨주기 제거
편집 요약 없음
1번째 줄:
[[논리학]]이나 [[언어학]]에서, '''양화'''(量化, quantification)란 자유변항을 가진 논리식이 적용되는 [[의논영역]](domain of discourse)에 있는 개체의 '양'(量)을 지정하는 것을 이르는 말이다. 또한 이러한 역할을 하는 요소를 '''양화사'''(量化詞, quantifier) 또는 '''양화자'''(量化子)라고 한다.
 
[[술어논리]]의 두 가지의 가장 일반적인 양화사로는, "모든 ~에 대하여"라는 의미의 [[보편 양화사]](∀, universal quantifier)와 와 "~가 존재한다"는 의미의 [[존재 양화사]](∃, existential quantifier)가 있다.
 
== 같이 보기 ==