Proof   증명

(2019-01-06)

증명, 사실

1. 증명 (Proof)추론에 대해 타당성을 검증하는 것
     - 명제가 참 또는 거짓이라는 정당성을 밝히는 것

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


2. 사실 (Fact)

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

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


[추론,논증] 1. 추론 2. 증명(proof) 3. 수학적 귀납법 4. 귀류법 5. 연역법

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