Predicate Quantifier   술어 한정사, 술어 한정자

(2022-02-28)

Quantifier, 한정사


1. 한정사/한정자 (Quantifier) 또는 술어 한정사/한정자 (Predicate Quantifier)

  ㅇ 영어의 `all`,`some`,`any`,`every`,`nothing` 처럼, 량(量)을 한정시키는 것
     - 단, 수학에서는, 엄격하게 2개 한정사(∀, ∃) 만을 사용 함


2. 2개의 주요 한정자 : ∀, ∃

  ㅇ 전칭 한정자(Universal Quantifier)   :  ∀  
     -  `for all` `모든`, `임의의`
     -  例) `임의의 a에 대하여` => `∀a`

  ㅇ 존재 한정자(Existential Quantifier) :  ∃ 
     -  `there exists` `존재한다`
     -  例) `a가 존재한다` => `∃a`


3. 술어 한정사의 특징집합과 관련되어 한정시키는 용도로 사용됨

  ㅇ 주로, 문장 내 서두에 오는 경우가 많음

  ㅇ 특히, 량(量)을 제한 만 함으로써도 술어명제로 만들 수 있음
     - 술어 내 각 변수들에 값을 배정하지 않고서도
        . (술어 : 변수가 포함된 문장으로, 변수가 특정값으로 정해지면 술어명제가 됨)
     - 량(量)을 한정 만 함으로써, 술어명제로 만들 수 있음

수리논리(논리기호 등)
   1. 수리 논리학   2. 논리식   3. 조건 명제   4. 부정   5. 논리합,논리곱   6. 한정사  


Copyrightⓒ written by 차재복 (Cha Jae Bok)               기술용어해설 후원
"본 웹사이트 내 모든 저작물은 원출처를 밝히는 한 자유롭게 사용(상업화포함) 가능합니다"