Proof by Contradiction   귀류법

(2018-10-16)
1. 귀류법 (歸謬法, Proof by Contradiction)

  ㅇ 주어진 전제(前提)로부터 직접 증명하지 않는 간접적 증명 방식 임

  ㅇ 귀류법 
     - 전제를 부정 명제화하여, 논증이 모순에 귀결하는 것을 밝힘
     - 즉, 
        . 우선 명제가 거짓이라고 가정해보고,
        . 처음의 가정으로 인해 틀린 결론이 유도된다면,
        . 처음 가정이 잘못된 바,
        . 해당 명체가 참이라고 결론짓게하는 증명 방법


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

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