1. 귀류법 (歸謬法, Proof by Contradiction) ㅇ 주어진 전제(前提)로부터 직접 증명하지 않는 간접적 증명 방식 임 ㅇ 귀류법 - 전제를 부정 명제화하여, 논증이 모순에 귀결하는 것을 밝힘 - 즉, . 우선 명제가 거짓이라고 가정해보고, . 처음의 가정으로 인해 틀린 결론이 유도된다면, . 처음 가정이 잘못된 바, . 해당 명체가 참이라고 결론짓게하는 증명 방법