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

(2020-09-15)

Quantifier, 한정사

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

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

  ㅇ 2개의 주요 한정자 : ∀, ∃
     - 전칭 한정자(Universal Quantifier)   :  ∀  
        . `for all` `모든`, `임의의`
        . 例) `임의의 a에 대하여` => `∀a`
     - 존재 한정자(Existential Quantifier) :  ∃ 
        . `there exists` `존재한다`
        . 例) `a가 존재한다` => `∃a`

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


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

 
        요약목록     참고문헌