Predicate 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. 술어 한정사의 특징

  ㅇ 집합과 관련되어 한정시키는 용도로 사용됨

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

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