Chapter 01. 연역추론 2

1. 명제(proposition) 2
2. 논증(argument) 2
3. 논증 지시어 3
4. 논증의 종류 3
5. 타당성(validity) 3
6. 건전성(sound) 4

Ⅰ 명제논리(Propositional Logic; 문장논리: Sentence Logic) 5

1. 진리 함수적 연결 6
(1) 부정(negation) 6
(2) 연언(conjunction) 6
(3) 선언(disjunction) 7
(4) 조건문 7
(5) 쌍조건문(biconditional) 8
2. 진리표에 의한 논증 분석 9
(1) 타당성 분석 9
(2) 부당성 증명(귀류법) 9
3. 추론 규칙 및 동치 규칙 12
(1) 진리함수적 추리규칙 12
(2) 진리함수적 대치규칙 16
(3) 자연 연역에 의한 증명 21
● 연습문항 26
4. 필요충분조건 78
● 연습문항 80

Ⅱ 술어 논리 88

1. 고전 논리학(아리스토텔레스의 논리학) 88
(1) 정언 명제(Categorical Proposition) 88
(2) 대당 관계 89
(3) 단칭명제 92
(4) 정언명제의 직접추리 92
● 연습문항 94
2. 현대 논리학 - 양화(Quantification) 100
(1) 보편 양화 100
(2) 존재 양화 100
(3) 정언명제의 양화 101
(4) 단칭 명제의 양화 102
(5) 현대 술어 논리의 원칙 103
(6) 논의 영역 106
(7) 양화적 동치 106
(8) 부정 명제와 명제의 부정 113
(9) 술어의 종류 113
● 연습문항 120

Ⅲ 논리게임 156

1. 배열하기 156
● 연습문항 158
2. 속성매치시키기 172
● 연습문항 174
3. 연결하기 / 그룹핑하기 178
● 연습문항 178
4. 진실 혹은 거짓 게임 198
● 연습문항 198
5. 수학적 퍼즐 212
● 연습문항 212

Chapter 02. 귀납추론 218

1. 귀납적 일반화 218
2. 유비 추론 218
3. 밀의 귀납법 219
(1) 일치법(method of agreement) 219
(2) 차이법(method of difference) 219
(3) 일치 차이 병용법 219
(4) 잉여법(method of residues) 219
(5) 공변법(共變法; method of concomitant variation) 220
4. 가설 추론 220
(1) 인과적 가설 220
(2) 최선의 설명에로의 추론 220
(3) 개연성과 설명력 220
● 연습문항 222
5. 논리적 추론 232
(1) 논리적 개념 파악 및 적용 232
(2) 논리학 지문의 평가 240
● 연습문항 244