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. 한정사
  1.   기술공통
  2.   기초과학
        1. 과학
    1.   수학
          1. 수학
      1.   기초수학
      2.   집합,논리
        1.   집합
        2.   논리
              1. 논리
              2. 명제(proposition)
              3. 술어(predicate)
              4. 공리(axiom)
              5. 정리(theorem)
              6. 정의(definition)
              7. 동치(equivalence)
          1.   추론,논증
          2.   수리논리(논리기호 등)
            1.   1. 수리 논리학
                2. 논리식
                3. 조건 명제
                4. 부정
                5. 논리합,논리곱
                6. 한정사
        3.   관계
      3.   해석학(미적분 등)
      4.   대수학
      5.   확률/통계
      6.   수치해법
    2.   물리
    3.   화학
    4.   지구,천체 과학
    5.   생명과학
    6.   뇌과학
  3.   진동/파동
  4.   방송/멀티미디어/정보이론
  5.   전기전자공학
  6.   통신/네트워킹
  7.   정보기술(IT)
  8.   공학일반(기계,재료등)
  9.   표준/계측/품질
  10.   기술경영

 
        요약목록     참고문헌