1. 기초 논리학 ∙ 12
1.1. 문장 기호화 ∙ 13
1.1.1. 문장 기호화를 해야 하는 이유
1.1.2. 문장 기호화 방법
1.1.2.1. 문장 전체를 한 개의 기호로 치환
1.1.2.2. 둘 이상의 기호 조합으로 치환
1.1.2.2.1. ~：아니다
1.1.2.2.2. ∧：이고
1.1.2.2.3. ∨：이거나
1.1.2.2.4. →：이면
1.1.2.2.5. ≡：일 때 그리고 오직 그 때만
1.2. 연역 규칙 ∙ 25
1.2.1. 동치 관계
1.2.1.1. ~(~A) ≡ A
1.2.1.2. A∧A ≡ A, A∨A ≡ A
1.2.1.3. A∧B ≡ B∧A, A∨B ≡ B∨A
1.2.1.4. (A∧B)∧C ≡ A∧(B∧C), (A∨B)∨C ≡ A∨(B∨C)
1.2.1.5. ~(A∧B) ≡ ~A∨~B, ~(A∨B) ≡ ~A∧~B
1.2.1.6. A∧(B∨C) ≡ (A∧B)∨(A∧C), A∨(B∧C) ≡ (A∨B)∧(A∨C)
1.2.1.7. A→B ≡ ~B→~A
1.2.1.8. A→B ≡ ~A∨B ≡ ~(A∧~B)
1.2.1.9. A→(B→C) ≡ (A∧B)→C ≡ (A→C)∨(B→C)
1.2.1.10. (A∨B)→(C∧D) ≡ (A→C)∧(B→C)∧(A→D)∧(B→D)
1.2.1.11. (A≡B) ≡ (A→B)∧(B→A) ≡ (A→B)∧(~A→~B)
1.2.1.12. A→(B∨C) ≡ (A→B)∨(A→C), A→(B∧C) ≡ (A→B)∧(A→C)
1.2.2. 모순 관계
1.2.2.1. 모순 관계 문장 만들기
1.2.2.2. 모순문장
1.2.2.3. 모순율, 배중률
1.2.3. 함축 관계
1.2.3.1. 함축 규칙
1.2.3.1.1. 전건긍정
1.2.3.1.2. 후건부정
1.2.3.1.3. ∧추가
1.2.3.1.4. ∨제거
1.2.3.1.5. ∧제거
1.2.3.1.6. 꼬리물기
1.2.3.1.7. 딜레마
1.2.3.1.8. 귀류법
1.2.3.1.9. ∨추가
1.2.3.1.10. 필요충분조건
1.2.3.1.11. IOTA 조건문 분리
1.2.3.2. 논리적 함축이 아닌 유형
1.2.3.2.1. A→B는 역(B→A), 이(~A→~B)를 함축하지 않는다.
1.2.3.2.2. A→B는 A를 함축하지 않는다.
1.2.3.2.3. A→B는 B를 함축하지 않는다. (반면 B는 A→B를 함축!)
1.2.3.3. 연역 규칙 응용 – 반드시 추가되어야 할 전제
2. 논리퀴즈 발상법 ∙ 108
2.1. 주춧돌 찾기 ∙ 109
2.1.1. 주춧돌이란?
2.1.2. 주춧돌 찾는 방법 세 가지
2.1.2.1. 딜레마
2.1.2.2. 귀류법
2.1.2.3. ∧의 특성 이용하기
2.2. 풀다가 막혔을 때? ∙ 115
2.2.1. 주어진 조건 중 A∨B꼴이 있을 때
2.2.2. 주어진 조건 중 A∨B꼴이 없을 때
2.2.2.1. 선지가 조건문일 때
2.2.2.2. 선지를 참으로 가정하기
2.2.2.3. 선지를 거짓으로 가정하기
2.3. 처음부터 막혔을 때! ∙ 117
2.3.1. 조건 중 모순 관계가 있을 때
2.3.2. 조건 중 모순 관계가 없을 때
2.3.2.1. 조건 중 하나를 참(또는 거짓)으로 가정해보기
2.3.2.2. 선지를 거짓(또는 참)으로 가정해보기
3. 논리게임 발상법 ∙ 184
3.1. 언어논리에 출제되는 논리게임 ∙ 185
3.1.1. 논리게임의 대가, 표대응 씨
3.1.2. 표대응 씨의 절친, 경우수 씨
3.1.3. 경우수 씨를 두 번 부르기 전에...
4. 부록 ∙ 208
4.1. 진리표 234 ∙ 209
4.1.1. ‘이고(∧, AND)’ 진리표
4.1.2. ‘이거나(∨, OR)’ 진리표
4.1.3. ‘아닌(~, NOT)’ 진리표
4.1.4. ‘이면(→, IF, THEN)’ 진리표
4.1.4.1. A, B가 참인 경우, A→B는 참
4.1.4.2. A가 참이고, B가 거짓인 경우, A→B는 거짓
4.1.4.3. A가 거짓이고, B가 참인 경우, A→B는 참
4.1.4.4. A가 거짓이고, B가 거짓인 경우, A→B는 참
4.2. 정언 문장의 기호화 ∙ 221
4.3. 쉼표 유무에 따른 기호화 ∙ 224
