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

(2017-02-01)
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. 명제함수,술어논리학  
  1.   기술공통
  2.   기초과학
        1. 과학
    1.   수학
      1.   기초수학
      2.   집합,논리
        1.   집합
        2.   논리와 증명
          1.   1. 논리(Logic),수리 논리학
              2. 논리식
              3. 명제(proposition)
              4. 공리(axiom)
              5. 정리(theorem)
              6. 정의(definition)
              7. 증명(proof)
              8. 수학적 귀납법
              9. 동치(equivalence)
              10. 명제함수,술어논리학
        3.   관계
      3.   정수론(수론)
      4.   해석학(미적분 등)
      5.   대수학
      6.   확률/통계
      7.   수치해법
    2.   물리/화학
    3.   지구,천체 과학
    4.   생명과학
  3.   파동/광학/음향
  4.   방송/멀티미디어/정보이론
  5.   전자/전기/제어
  6.   통신/네트워킹
  7.   정보기술(IT)
  8.   기계/재료/공업일반
  9.   표준/계측/품질
  10.   기술경영

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