Proof   증명

(2022-02-13)

증명 , 증명 , 사실


1. 증명 (Proof)명제가 참 또는 거짓이라는 정당성을 밝히는 것
     - 추론된 결론에 대해 타당성을 검증하는 것
        . 주장이 왜 진실인가를 보여주는 단계별 논증

  ㅇ 주요 증명 방법
     - 직접 증명법 (Direct Proof)
        . 연역적 추론 방식의 증명법
     - 간접 증명법 (Indirect Proof)
        . 중간 단계를 거쳐 증명하는 방법
        . 주로, 귀류법
           .. 부정 명제를 전제에 포함시켜, 논증이 모순에 귀결하게함으로써 증명하는 방법
     - 수학적 귀납법 (Mathematical Induction)
        . 개별 사실들을 증거로 하여 일반 결론을 끌어내는 논증 방법

  ㅇ 한편, 증명 관련 기호
     - 증명의 시작 : 보통, `증명`이라고 이탤릭체로 서두에 붙임
     - 증명을 마침/끝 : Q.E.D (quad erat demonstrandum), □, ■, ◆ 등 여러 기호들이 쓰임


2. 사실 (Fact)

  ㅇ 증명 없이도 직관적으로 믿어지는 것
     - 증명 없이 결과 만 제시

  ㅇ 한편, 증명 없이도 받아들일 수 있는 사실(무증명 명제)은, ☞ 공리(Axiom) 참조

추론,논증
   1. 추론   2. 증명   3. 귀납법   4. 귀류법   5. 연역법  


Copyrightⓒ written by 차재복 (Cha Jae Bok)               기술용어해설 후원
"본 웹사이트 내 모든 저작물은 원출처를 밝히는 한 자유롭게 사용(상업화포함) 가능합니다"