추론 시험에서 삼단논법 푸는 방법

네 가지 진술 유형

거의 모든 삼단논법은 네 가지 명제 유형으로 이루어집니다. 각 유형이 무엇을 말하고 무엇을 말하지 않는지 정확히 알아두세요.

• 모든 A는 B입니다. 모든 A는 B에 속합니다. 모든 B가 A인지에 대해서는 아무것도 말해 주지 않습니다. "모든 감사 담당자는 회계사입니다"라는 말은 모든 회계사가 감사 담당자라는 뜻이 아닙니다.
• 어떤 A도 B가 아닙니다. A와 B는 전혀 겹치지 않습니다. 이 명제는 안전하게 순서를 바꿀 수 있습니다. "어떤 A도 B가 아닙니다"는 "어떤 B도 A가 아닙니다"와 같은 뜻입니다.
• 일부 A는 B입니다. 적어도 하나의 A가 B입니다. 하나일 수도 있고, 모두일 수도 있습니다. 이 명제도 안전하게 순서를 바꿀 수 있습니다. "일부 A는 B입니다"는 "일부 B는 A입니다"와 같은 뜻입니다.
• 일부 A는 B가 아닙니다. 적어도 하나의 A가 B에 속하지 않습니다. 이 명제는 순서를 바꿀 수 없습니다. "일부 A는 B가 아닙니다"만으로는 일부 B가 A가 아니라는 것을 알 수 없습니다.

가장 많은 감점을 부르는 단어는 "일부"입니다. 일상 대화에서 "일부 관리자는 원격 근무를 합니다"라고 하면 원격 근무를 하지 않는 관리자도 있다는 뜻처럼 들립니다. 하지만 논리에서는 그렇지 않습니다. 모든 A가 B여도 "일부 A는 B입니다"는 참이므로, 이 명제만으로 "일부 A는 B가 아닙니다"라고 결론 내릴 수는 없습니다.

일상적인 표현 바꾸기

논리적 추론 및 비판적 사고 연습 문제에는 단순한 "All A are B" 형식이 거의 나오지 않습니다. 보통 문장으로 제시되므로, 그림을 그리기 전에 문장을 논리 형식으로 바꿔야 합니다.

• **"Every", "each", "any", "whoever is"**는 모두 All을 뜻합니다.
• **"None", "not one", "no one who"**는 No를 뜻합니다.
• **"At least one", "a few", "several", "many", "most"**는 논리상 모두 Some을 뜻합니다.
• **"Not all A are B"**는 Some A are not B를 뜻합니다.
• **"Only A are B"**는 All B are A를 뜻합니다. 이 문장은 대부분의 사람이 헷갈리는 역전 표현입니다. "Only certified staff operate the forklift"는 모든 지게차 운전자가 자격을 갖췄다는 뜻이지, 자격을 갖춘 사람이 모두 지게차를 운전한다는 뜻은 아닙니다.
• **"A are B unless they are C"**는 대개 All A that are not C are B를 뜻합니다. 천천히 읽으세요.

전제를 논리 형식으로 바꾼 뒤에는 문장을 다시 읽지 않아도 되도록 짧게 적어 두세요(예: "All F are C").

믿을 수 있는 도식 풀이법

원 도형(흔히 벤 다이어그램 또는 오일러 다이어그램이라고 함)은 삼단논법을 푸는 가장 신뢰할 수 있는 방법입니다. 모든 가능성을 확인하도록 도와주기 때문입니다.

1. 첫 번째 전제를 그리세요. "모든 A는 B다": 큰 B 원 안에 작은 A 원을 그립니다. "어떤 A도 B가 아니다": 서로 떨어진 원 두 개를 그립니다. "일부 A는 B다": 겹치는 부분에 점이나 십자 표시를 해, 그 부분에 무언가가 확실히 있음을 나타내는 원 두 개를 그립니다.
2. 두 번째 전제를 같은 그림에 추가하세요. 두 전제에 공통으로 나오는 용어(중항)를 기준으로 세 번째 원을 배치합니다.
3. 그림에서 결론을 확인하세요.
4. 이제 결론이 틀릴 수 있는지 확인하세요. 두 전제에 모두 맞는 다른 그림을 그립니다. 세 번째 원을 옮기거나, 원 하나를 더 크게 그리거나, 원 두 개가 더 많이 겹치게 해 보세요. 유효한 그림 중 하나라도 결론을 거짓으로 만든다면, 그 결론은 따라오지 않습니다.

4단계가 삼단논법을 제대로 푸는 사람과 추측하는 사람을 가릅니다. 오답의 대부분은 처음 그린 그림에서는 참이지만 모든 그림에서 참은 아닌 결론입니다.

아는 내용만 표시하세요. 전제에 "일부 A는 B다"라고 되어 있다면 겹치는 부분에 십자 표시를 하세요. A의 나머지 부분을 "B가 아님"으로 칠하지 마세요. 그 부분에 대해선 알 수 없기 때문입니다.

풀이 예시

예시 1: 결론이 따라옵니다. 모든 관리자는 직원입니다. 모든 직원은 배지를 소지하고 있습니다. 결론: 모든 관리자는 배지를 소지하고 있습니다.

관리자 원은 직원 원 안에 있고, 직원 원은 배지 소지자 원 안에 있습니다. 관리자를 배지 소지자 원 바깥에 그릴 수 없으므로 결론은 따라옵니다.

예시 2: 결론이 따라오지 않습니다. 모든 분석가는 졸업생입니다. 일부 졸업생은 언어학자입니다. 결론: 일부 분석가는 언어학자입니다.

분석가를 졸업생 안에 그립니다. 언어학자 원은 졸업생 원과 겹쳐야 하지만, 분석가 원 바깥의 졸업생 영역과 겹칠 수도 있습니다. 이 그림은 두 전제와 모두 맞으면서 결론을 깨뜨리므로 결론은 따라오지 않습니다. (일부 분석가가 언어학자일 수도 있지만, 반드시 그런 것은 아닙니다.)

예시 3: 결론이 따라옵니다. 계약업체 직원 중에는 주주가 없습니다. 모든 이사는 주주입니다. 결론: 이사 중에는 계약업체 직원이 없습니다.

이사는 주주 원 안에 있고, 주주 원은 계약업체 직원 원과 전혀 닿지 않습니다. 따라서 이사도 계약업체 직원과 닿을 수 없습니다. 결론은 따라옵니다.

예시 4: 하나는 따라오고 하나는 따라오지 않습니다. 일부 운전자는 강사입니다. 강사 중에는 흡연자가 없습니다.

• "일부 운전자는 흡연자가 아닙니다"는 따라옵니다: 강사인 운전자는 흡연자일 수 없습니다.
• "운전자는 모두 흡연자가 아닙니다"는 따라오지 않습니다: 강사가 아닌 운전자는 흡연자일 수도 있습니다.

예시 5: 부정 결론. 모든 감사 담당자는 회계사입니다. 일부 컨설턴트는 회계사가 아닙니다. 결론: 일부 컨설턴트는 감사 담당자가 아닙니다.

회계사 원 바깥에 있는 컨설턴트는 감사 담당자 원 바깥에도 있습니다. 감사 담당자는 회계사 원 안에 있기 때문입니다. 결론은 따라옵니다.

반드시 참, 참일 수도 있음, 참일 수 없음

문제의 질문을 주의 깊게 읽으세요. 같은 전제라도 무엇을 묻는지에 따라 답이 달라집니다.

• 반드시 참(또는 "도출됨"): 전제에 부합하는 모든 경우에 참입니다.
• 참일 수 있음: 적어도 한 가지 경우에 참입니다. 전제와 모순되지 않는 대부분의 진술은 참일 수 있습니다.
• 참일 수 없음: 모든 경우에 거짓이며, 대개 전제와 직접 모순됩니다.

풀이 예시. 모든 관리자가 교육에 참석했습니다. 교육에 참석한 사람 중 일부는 원격으로 근무합니다.

• "일부 관리자는 원격으로 근무합니다"는 참일 수 있지만, 반드시 참인 것은 아닙니다. 원격 근무자에는 관리자 아닌 교육 참석자만 포함될 수도 있습니다.
• "일부 관리자는 교육에 참석하지 않았습니다"는 참일 수 없습니다. 첫 번째 전제와 모순됩니다.
• "모든 관리자가 교육에 참석했습니다"는 반드시 참입니다. 첫 번째 전제이기 때문입니다.

참, 거짓, 판단 불가 형식에서는 첫 번째 진술이 "판단 불가", 두 번째는 "거짓", 세 번째는 "참"입니다. 그럴듯하게 들리는 진술을 참이라고 여기기 쉬워서 "판단 불가" 답을 가장 자주 놓칩니다. 연역 추론 예제 가이드에서는 삼단논법 외의 논증 유형도 포함해 더 폭넓은 문제 형식을 다룹니다.

삼단논법 문제에서 흔히 빠지는 함정

• "모든"을 뒤집어 해석하기. "모든 A는 B다"라고 해서 "모든 B는 A다"라는 뜻은 아닙니다. 가장 흔한 오답입니다.
• "일부"라는 전제가 두 개일 때. "일부 A는 B다"와 "일부 B는 C다"만으로는 A와 C에 대해 확실한 결론을 내릴 수 없습니다. B인 A가 C인 B와 다를 수 있습니다.
• 부정 전제가 두 개일 때. "A 중 B인 것은 없다"와 "B 중 C인 것은 없다"만으로는 A와 C에 대해 확실히 알 수 없습니다. 두 집합은 겹칠 수도 있고 그렇지 않을 수도 있습니다.
• 공통 항목이 전체 집합을 포괄한다고 보기. "모든 A는 B다"와 "모든 C는 B다"만으로는 A와 C에 대해 알 수 없습니다. 둘 다 B에 포함되지만 서로 다른 부분에 있을 수 있습니다.
• "일부"를 "일부만"으로 해석하기. "일부 보고서는 늦었다"고 해서 일부 보고서는 제시간에 도착했다는 뜻은 아닙니다.
• 현실의 지식 적용하기. 전제에 "모든 새는 수영을 한다"고 되어 있다면 그대로 받아들이세요. 이 문제는 결론이 현실에서 참인지가 아니라 전제에서 따라 나오는지를 묻습니다. 마찬가지로 현실에서 참인 결론이라도 전제가 뒷받침하지 않으면 따라 나오지 않습니다.
• "~만"을 혼동하기. "B는 A만 해당한다"는 "모든 B는 A다"라는 뜻입니다. 도식으로 나타내기 전에 문장을 바꿔 보세요.

논리적 추론 및 비판적 사고 검사에서 삼단논법 문제는 어떤 형태로 나올까요?

채용 시험 유형의 검사에는 삼단논법 문제가 여러 형식으로 나옵니다. 논리는 같지만 답변 형식이 다릅니다.

• 논리적으로 도출되는 결론 고르기. 전제 두 개와 결론 네다섯 개가 주어지며, 반드시 참이어야 하는 결론은 하나뿐입니다. 전형적인 삼단논법 시험 형식으로, 논리 추론 테스트 연습에서 흔히 볼 수 있습니다.
• 도출됨 또는 도출되지 않음. 짧은 글과 여러 개의 결론이 제시되며, 각 결론을 따로 판단합니다. 이 유형은 비판적 사고력 테스트 연습의 추론 영역에 나옵니다. 전제는 대개 일상적인 문장으로 쓰이므로, 도식보다 문장을 논리적으로 해석하는 것이 중요합니다.
• 참, 거짓 또는 판단할 수 없음. 전제가 사실로 제시되고, 각 결론을 판단합니다. "판단할 수 없음"은 결론이 참일 수도 있지만 반드시 참인 것은 아니라는 뜻입니다.
• 추상적인 글자 또는 무의미한 단어. "모든 blips는 frams다"처럼 현실 세계의 지식을 일부러 배제하면, 문제는 순전히 논리 구조에 관한 것이 됩니다. 풀이 방법을 익히면 이런 문제가 더 쉽다고 느끼는 응시자가 많습니다.

어떤 형식이든 가장 그럴듯하게 들리는 답이 반드시 논리적으로 도출되는 결론은 아닙니다. 이 차이를 측정하도록 이런 문제가 설계되었습니다.

삼단논법 문제를 빠르게 푸는 방법

시간이 부족할 때는 그림을 그리기 전에 다음 규칙으로 선택지를 먼저 걸러 내세요. 범주 논리의 표준 규칙에 따른 방법입니다.

1. 두 전제 모두 "일부"인가요? 양 끝 항에 관해 확실히 도출할 수 있는 내용이 없습니다.
2. 두 전제 모두 부정인가요? 양 끝 항에 관해 확실히 도출할 수 있는 내용이 없습니다.
3. 전제 하나가 부정인가요? 도출되는 결론이 있다면 그 결론도 부정이어야 합니다.
4. 전제 하나가 "일부"인가요? 도출되는 결론이 있다면 그 결론도 "일부" 명제여야 합니다.
5. 두 "모든" 전제에서 공통 항이 "이다" 뒤에만 나오나요? "모든 A는 B이다"와 "모든 C는 B이다"만으로는 A와 C에 대해 확실히 알 수 없습니다.

이 확인을 통과한 선택지가 있다면 10초 동안 그림으로 나타내고, 그 선택지가 성립하지 않는 경우가 있는지 살펴보세요. 연습을 거듭하면 두세 개의 원으로 빠르게 그릴 수 있고, 대부분의 문제를 1분도 안 되어 풀 수 있습니다.