[Logic] <논리적 추론과 증명> (3)

7장. 문장 논리 1: 자연 연역에 의한 타당성 증명 [자연 연역에 의한 증명 방식(natural deduction proof)] 진리표에 의한 타당성 증명보다 간단하고, 일상적인 추론 방식에 가까운, '자연스러운' 증명 방식 목표: 각 단계의 추론이 명백한 추론 규칙들에 의해 정당화되는 추론들의 한 연쇄(chain)을 제시하는 것이다.

전제들이 참이면 추론 규칙들에 의해 보장되는 결론 또한 참이다. [10개의 기본 추론 규칙] 1) 조건 기호 제거 (→ 제거) (conditional elimination) 2) 선언 기호 제거 (V 제거) (disjunction elimination) 3) 선언 기호 도입 (V 제거) (disjunction introduction) 4) 조건 기호 도입 (→ 도입) (conditional introduction) * 보조 증명선을 통한 보조 증명(subproof) 또는 보조 도출(subderivation) 5) 연언 기호 제거 (& 제거) (con...