Proof by Contradiction   귀류법

(2018-10-16)
Top 기초과학 수학 집합,논리 논리 추론,논증

1. 귀류법 (歸謬法, Proof by Contradiction)

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

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



Copyrightⓒ written by 차재복 (Cha Jae Bok)