[양화] (〔量化, 영 quantification〕)
양한정(量限定)이라고도 한다. 고전 논리학에서 말하는 전칭명제 "모든 것은 p이다."는 기호 논리학에서는 "임의의 대상 x에 대해 x는 p이다."로 이해되고, 특칭명제 "어떤 것은 p이다."는 "적당한 대상 x에 대해 x는 p이다."로 이해된다. "x는 p이다."를 명제함수 px라 할 때, 이 두 개의 명제를 각각 '∀xp x ', '∃x px '라고 표시한다. 이와 같이 ∀x', ∃x', ∀y', ∃x' 등의 양기호(量記號)를 명제 함수 앞에 붙여 "모든 것은…이다." "어떤 것은…이다."를 나타내는 것을 양화라 한다.
|
■ 인접어
양자 양자 역학 양자론 양주 양태 양화 어둠 어른 어린이 억견 억압 |