●유형 가이드-연역 추론

연역 추론은 언어논리 영역과 상황판단 영역 모두에 걸쳐 있는 평가요소다. 그 중 담론(discourse)화된 텍스트, 즉 한 단락 이상의 글 속에서 논리적 내용을 찾고 이를 바탕으로 추론하는 것은 언어논리에 속하며, 추론의 단서가 되는 사실 명제(정보)를 주고 이를 바탕으로 추론하는 것은 상황판단에 넣을 수 있다. 즉, 언어논리에서는 텍스트에 녹아 있는 논리를, 상황판단에서는 개별 정보로서의 논리를 더욱 중시하는 셈이다.

●예시 유형

세부 유형은 다음과 같다.

1. 전제들을 주고 결론에 해당하는 ‘사실’을 추론하는 유형

2. 전제들을 주고 결론의 참, 거짓을 판별하는 유형

●해법

1. 있을 수 있는 경우의 수를 상정하고 그 중에서 전제와 양립할 수 없는 경우를 지워나감으로써 최종 결론에 다다른다.

2. 단순명료한 전제로부터 추리를 시작하고, 이어서 그 전제와 관련된 전제를 따지고 최종 결론에 다다른다.

●문제

사건 (가),(나),(다),(라),(마)는 일련의 연속된 사건이다. 그런데 아직까지 이 사건들이 일어난 순서를 정확하게 알 수 없다. 김 형사는 (가)∼(마)의 사건 발생 순서를 추리하기 위해 (보기)의 기록들을 참조하였다. 이 기록들이 모두 제대로 작성된 것이라고 할 때, 네 번째로 일어난 사건은?

(보기)

기록A:(가)와 (다) 사이에는 다른 사건이 있음.

기록B:(라)가 마지막 사건은 아님.

기록C:(다)는 (가)와 (라) 사이에 일어났음.

기록D:(가)는 (나)와 (마) 사이에 일어났음.

기록E:(나)가 (라)보다 먼저 일어났다면,(다)가 (마)보다 먼저 일어났음.

(1)가 (2)나 (3)다

(4)라 (5)마

●해설

전제가 되는 기록 A∼E의 내용을 차근차근 확인하면서 결론을 추리해 나가면 된다.

1. 경우의 수를 모두 따지는 방법

ⅰ)기록D에서 (가),(나),(마)의 순서는 1)(나)-(가)-(마) 또는 2)(마)-(가)-(나)이다.

ⅱ)기록C에서 (가),(다),(라)의 순서는 3)(가)-(다)-(라) 또는 4)(라)-(다)-(가)이다.

ⅲ)1)과 3)을 함께 전제로 삼으면, 첫째 사건과 둘째 사건은 (나)-(가)로 정해지고 이제 (다),(라),(마)의 순서를 정해주면 된다. 그런데 기록A에 의해 (다)는 셋째 자리에 올 수 없다. 기록B에 의해 (라)는 맨 끝자리에 오지 않는다. 따라서 이러한 조건을 만족시키는 것은,(나)-(가)-(라)-(마)-(다) 또는,(나)-(가)-(마)-(라)-(다)이다. 그런데 이들은 기록E에 위배되므로, 이 조합에서는 모든 조건을 만족시키는 배열이 없다.

ⅳ)1)과 4)를 함께 전제로 삼으면,(가)보다 뒤에 배치되는 것은 (마)뿐이다. 어떠한 경우든 네 번째는 (가)로 확정된다.

ⅴ)2)와 3)을 함께 전제로 삼으면, 첫째와 둘째 자리가 (마)-(가)로 정해진다.(다)는 기록A에 의해 셋째 자리에 올 수 없고,(가)(라) 사이에 위치시키는 배열은 (마)-(가)-(나)-(다)-(라)뿐이나, 기록B에 위배되어 이 조합에서는 모든 조건을 만족시키는 배열이 없다.

ⅵ)2)와 4)를 함께 전제로 삼으면,(가)보다 뒤에 배치되는 것은 (나)뿐이다. 역시 어떠한 경우든 네 번째는 (가)로 확정된다.

2. 인접 조건을 활용하여 결론에 다다르는 방법

ⅰ)A를 통해 (가)와 (다) 사이에 (나),(라),(마) 등이 들어갈 수 있음을 알 수 있다. 그런데 (가)와 (다)의 순서에 관한 정보는 없으므로 가능성은 다음 두 가지이다.(가)∨(다) 또는 (다)∨(가)(∨표시는 사건이 존재함을 뜻한다고 가정)

ⅱ)B를 통해 (라)가 마지막 사건이 아님을 염두에 둔 후(경우의 수가 많으므로) 다음 정보로 넘어간다.

ⅲ)C를 통해 다음과 같이 정리할 수 있다.(가)∨(다)(라)∨ 또는,(라)∨(다)∨(가) 또는,(라)(다)∨(가)∨ 또는,(라)(다)∨∨(가) 또는,∨(라)(다)∨(가)

ⅳ)D를 통해 다음과 같이 정리할 수 있다.(라)-(다)-(나)-(가)-(마) 또는,(라)-(다)-(마)-(가)-(나)((가)사건이 제일 앞이거나 제일 뒤인 경우를 제함으로써)

v)어느 경우이든 네 번째 사건은 (가)이다. 따라서 정답은 (1).

출제:유호종(서울대 철학 박사)