Proof by Contradiction   귀류법

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

  ㅇ 주어진 전제(前提)로부터 직접 증명하지 않는, 간접적 증명 방식으로써,
     - 모순에 의해 증명하는 방법 임
        . 서술로부터 거짓 결론이 유도된다면, 원래의 서술 자체가 거짓이라는 원리 임

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