Predicate Calculus, Propositional Function   술어 논리학, 명제 함수, 술어(Predicate)

(2014-07-05)

Predicate Quantifier, 술어 한정자

기초과학 1. 과학

수학
물리/화학
지구,천체 과학
생명과학
 > 수학기초수학
집합,논리
정수론(수론)
해석학(미적분 등)
대수학
확률/통계
수치해법
 > 집합,논리집합
논리와 증명
관계
 > 논리와 증명 1. 논리(Logic),수리 논리학
2. 논리식
3. 명제(proposition)
4. 공리(axiom)
5. 정리(theorem)
6. 정의(definition)
7. 증명(proof)
8. 수학적 귀납법
9. 동치(equivalence)
10. 명제함수,술어논리학

     
1. 술어 (Predicate) 

  ㅇ 유한 개의 변수들로 이루어진 문장
     - 변수가 특정값으로 정해지면 술어는 명제가 됨
        . 통상적으로, + - x / <  > 등 기호로 변수 간에 연산 표시 가능 


2. 술어 논리학 (Predicate Calculus)

  ㅇ 술어(Predicate)와 한정기호(Quantifier)를 다루는 논리학 분야

  ㅇ 변수가 포함된 문장(명제)를 다룸

  ㅇ 변수 값이 결정되기 전까지는 참,거짓인지를 판정할 수 없음


3. 명제 함수/서술자 : P(x)변수 x가 결정되면 명제함수 P(x)는 비로소 명제가 되며,
     진리값(참,거짓)을 판정할 수 있게됨

  ㅇ 변수를 포함하는 문장은 명제가 될 수 없으므로,
     그러한 문장도 포함하도록 논리 체계를 확장하기 위한 것
     - 특히, 변수를 주로 사용하는 컴퓨터 과학에서 

  ㅇ 표기 : P(x)
     - 변수 x를 포함한 명제 문장 (개체 x에 관한 성질을 기술함)


4. 술어 한정어/한정자 (Predicate Quantifier)

  ㅇ 량(量)을 제한함으로써 술어를 명제로 만듬
     - 술어 내 각 변수들에 값을 배정하지 않고서도 량을 한정함으로써 술어를 명제로 만듬

  ㅇ 2개의 주요 한정자
     -  전칭 한정자(Universal Quantifier)   :  ∀  `for all` `모든`
     -  존재 한정자(Existential Quantifier) :  ∃  `there exists` `존재한다`


[ 논리와 증명 ]1. 논리(Logic),수리 논리학  2. 논리식  3. 명제(proposition)  4. 공리(axiom)  5. 정리(theorem)  6. 정의(definition)  7. 증명(proof)  8. 수학적 귀납법  9. 동치(equivalence)  10. 명제함수,술어논리학  

 
        최근수정     모바일웹     참고문헌