Proposition   명제, 명제(命題)

(2020-02-13)

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

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

  ㅇ 참 또는 거짓으로 분명하게 구별(판정)되는 문장/수식
     - 따라서, 이때의 문장은, 의문문이나 명령문이 아닌 평서문 임
        . 완벽한 정확성을 요구 함


2. 명제의 표기 및 구분

  ㅇ 명제의 표기 : p,q,r, ... (주로 영어 소문자로 표기)

  ㅇ 단순 명제 (simple statement)
     - 주어 1개 및 동사 1개로 구성된 명제

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


3. [참고사항]

  ㅇ 명제의 논리적 대수 이론(형식화 이론)은,  ☞ 수리논리학 참조

  ㅇ 명제는, 수리논리학기본 단위 임

  ㅇ 명제에 참/거짓 값을 할당한 것은,  ☞ 진리값/논리값 참조
     - 명제가 옳을 때는, 참(true)인 명제 라하고,
     - 명제가 틀릴 때는, 거짓(false)인 명제 라고 함.

  ㅇ 복합 명제를 수식화한 것은,  ☞ 논리식 참조

  ㅇ 증명 없이도 참으로 받아들이는 명제는,  ☞ 공리 참조

  ㅇ 변수를 포함하는 문장은 명제가 될 수 없음
     - 변수가 포함된 문장(명제)을 다룰 때는,  ☞ 술어 논리학 참조


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

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