Proposition   명제, 명제(命題)

(2019-08-24)

단순 명제, 복합 명제, Logic Statement, 논리문

1. 명제 (Proposition), 논리문 (Statement,Logic Statement)  

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

  ※ 명제는 수리논리학의 기본 단위임
     - 명제가 옳을 때는, 참(true)인 명제 라하고,
     - 명제가 틀릴 때는, 거짓(false)인 명제 라고 함.    ☞ 논리식, 논리값 참조


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

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


3. 명제의 구분

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

  ㅇ 합성 명제 / 복합 명제 (compound statement)
     - 연결사로 결합된 1 이상의 명제          ☞ 논리식 참조
        . 기호표기 : P(p,q,r, ...), Q(p,q,r, ...), ...
     * 결국, 명제들을 연결사로 연결하면 새로운 명제가 만들어짐
           

4. [참고사항]

  ㅇ 명제의 논리적 대수 이론(형식화 이론) ☞ 수리논리학 참조
  ㅇ 복합 명제를 수식화한 것 ☞ 논리식 참조
  ㅇ 증명 없이도 참으로 받아들이는 명제 ☞ 공리 참조
  ㅇ 명제에 참/거짓 값을 할당한 것 ☞ 진리값/논리값 참조


[논리] 1. 수리 논리학 2. 논리식 3. 명제(proposition) 4. 술어(predicate) 5. 공리(axiom) 6. 정리(theorem) 7. 정의(definition) 8. 동치(equivalence)
[추론,논증]

 
        최근수정     요약목록     참고문헌