Chapter 12. 귀류법과 간접 증명 Chapter 12. 귀류법과 간접 증명 12.1직접 증명과 간접 증명의 구분 12.2귀류법의 개념 12.3귀류법의 논리적 정당화 12.4귀류법의 형식적 구조 12.5모순 도출의 원리 12.6귀류법의 일반 절차 12.7귀류법과 부정 도입 규칙의 관계 12.8대우 증명법의 개념 12.9대우 증명법의 형식적 구조 12.10귀류법과 대우 증명법의 비교 12.11고전 논리와 직관 논리에서의 귀류법 12.12이중 부정 제거와 귀류법 12.13귀류법의 역사적 용례 12.14귀류법 적용의 유의점 12.15간접 증명의 사례 분석