김우진 논리와 퍼즐 헤르메스/김우진

저자소개

■ 논리 개념 ·2

PART Ⅰ 문장 논리 ·4
1. 진리표 ·5
(1) 부정(negation) ·6
(2) 연언(conjunction) ·6
(3) 선언(disjunction) ·6
(4) 조건문 ·7
(5) 진리표에 의한 타당성 판단 ·11
2. 규칙 ·13
(1) 진리함수적 추리규칙 ·13
(2) 진리함수적 대치규칙 ·36
(3) 자연 연역에 의한 증명 ·41
3. 필요충분조건 ·42

PART Ⅱ 술어 논리 ·80
1. 고전논리학(아리스토텔레스의 논리학) ·80
(1) 정언 명제(Categorical Proposition) ·80
(2) 대당관계 ·81
(3) 정언명제의 직접추리 ·84
2. 현대논리학 ·89
(1) 양화(Quantification) ·89
(2) 정언명제의 양화 ·90
(3) 단칭 명제의 양화 ·93
(4) 현대 술어 논리의 원칙 ·93
(5) 논의 영역 제한 ·96
(6) 양화적 동치 ·96
(7) 술어의 종류 ·101
(8) 귀류법(truth table reductio adabsturdum test) ·111

PART Ⅲ 논리 퍼즐(Logic game) ·128
1. 상황 파악 ·129
2. 모형화: 베이스(base) 설정과 도식 만들기 ·130
3. 반드시 참·거짓 표시 ·131
4. 조건 및 제한, 규칙 확인 ·131
5. 경우의 수 파악 및 선택지 적용 ·132

제1장Ⅰ배열하기 ·133
1. 순서 정하기 ·133
(1) 규칙의 표시 ·133
(2) 경우의 수: 반드시 거짓 적용 ·134
2. 시간 배열 ·138
(1) 상황 파악 및 모형화 ·138
(2) 확정 및 배제 규칙 적용 ·138
(3) 패턴 파악: 공통 규칙 ·138
(4) 규칙으로부터 추리 ·139
3. 공간 배열 ·143
(1) 상황 파악 및 모형화 ·143
(2) 규칙에 따른 모형 표시 ·143
(3) 추리 ·143
(4) 선택지 대입 ·143

제2장Ⅰ속성 매칭 ·157
1. 상황 파악 및 모형화 ·157
(1) 변수 확인 ·157
(2) 도표 작성 ·157
2. 규칙의 적용 ·157
(1) 반드시 참 거짓 ·157
(2) 배제 패턴 ·157
3. 추리: 선언 요소의 배제와 확정 ·157

제3장Ⅰ연결하기 그룹핑 ·169
1. 접근 및 해결 ·169
(1) 논리적 용어 파악 ·169
(2) 확정 및 배제 ·169
(3) 모형화 ·169
2. 유형 ·169
(1) 규칙 및 조건 적용 ·169
(2) 암호 파악 ·173
(3) 그룹핑 ·178

제4장Ⅰ진실 거짓 게임 ·192
1. 상황 파악 ·192
2. 경우의 수 제한 ·192
3. 선택지 대입 ·192

제5장Ⅰ수적 배열 ·199
1. 수적 개념 적용 ·199
(1) 수적 구분 ·199
(2) 연산 원리 ·199
2. 수적 규칙 적용 ·201
(1) 규칙의 원리 파악 ·201
(2) 규칙에 의해 주어진 숫자 배열 ·201

제6장Ⅰ승패 게임 ·212
1. 상황 파악: 출제 의도 및 규칙 파악 ·212
2. 경우의 수: 선택지 대입 추리 ·214
3. 점수 계산 및 순위 비교 ·216

■ 정답 및 해설

PART Ⅰ. 문장 논리 ·240
PART Ⅱ. 술어 논리 ·261
PART Ⅲ. 논리 퍼즐(Logic game) ·276