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. 술어 한정사의 특징
ㅇ 집합과 관련되어 한정시키는 용도로 사용됨
ㅇ 주로, 문장 내 서두에 오는 경우가 많음
ㅇ 특히, 량(量)을 제한 만 함으로써도 술어를 명제로 만들 수 있음
- 술어 내 각 변수들에 값을 배정하지 않고서도
. (술어 : 변수가 포함된 문장으로, 변수가 특정값으로 정해지면 술어는 명제가 됨)
- 량(量)을 한정 만 함으로써, 술어를 명제로 만들 수 있음