Chapter 11. 자연 연역 체계 Chapter 11. 자연 연역 체계 11.1자연 연역 체계의 개념 11.2자연 연역과 공리 체계의 비교 11.3추론 규칙의 기본 개념 11.4도입 규칙과 제거 규칙 11.5연언 도입 규칙 11.6연언 제거 규칙 11.7선언 도입 규칙 11.8선언 제거 규칙 11.9조건 도입 규칙 11.10조건 제거 규칙 11.11부정 도입 규칙 11.12부정 제거 규칙 11.13쌍조건 도입 규칙 11.14쌍조건 제거 규칙 11.15가정의 도입과 해소 11.16증명의 구조와 형식 11.17자연 연역을 통한 정리 증명