김우진 논리와 퍼즐
도서명:김우진 논리와 퍼즐
저자/출판사:김우진/헤르메스
쪽수:331쪽
출판일:2021-10-20
ISBN:9791156936701
목차
■ 논리 개념 ·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
