Proposition   명제, 단순명제, 복합명제, 명제(命題)

(2017-02-01)
기초과학 1. 과학

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

     
1. 명제(Proposition, Statement)  

  ㅇ 참 또는 거짓으로 분명하게 구별되는 문장(서술문)/식
     - 의문문이나 명령문이 아닌 평서문

  ※ 명제는 수리논리학의 기본 단위임


2. 명제의 특징변수를 포함하는 문장은 명제가 될 수 없음

  ※ 변수가 포함된 문장(명제)를 다룸 ☞ 술어 논리학


3. 명제의 구분

  ㅇ 단순명제 (simple statement)
     - 주어 1개 및 동사 1개로 구성된 명제
        . 기호표기 : p,q,r, ...

  ㅇ 합성명제/복합명제 (compound statement)
     - 연결사로 결합된 1 이상의 명제
        . 기호표기 : P(p,q,r, ...), Q(p,q,r, ...), ...
           ☞ 논리합,논리곱 참조

  ※ [참고]
     - 명제의 논리적 대수 이론(형식화 이론) ☞ 수리논리학
     - 복합 명제를 수식화한 것 ☞ 논리식
     - 증명 없이도 참으로 받아들이는 명제 ☞ 공리


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

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