확실한 관계만 따라가기

문장을 정확한 규칙으로 읽기

논리적 추론에서는 어떤 결론이 반드시 성립하는지 찾습니다. 모든 전제가 참이라고 봅니다. 앰버와 버치는 실제 사물에 관한 정보가 아니라 가상의 그룹 이름입니다.

‘앰버 그룹의 모든 항목은 버치 그룹에 속한다’는 말은 앰버가 버치 안에 포함된다는 뜻입니다. 버치 그룹의 모든 항목이 앰버에 속한다는 뜻은 아닙니다.

‘일부’는 항목이 하나 이상 존재한다는 뜻입니다. ‘모두’와 ‘하나도 없다’만으로는 항목의 존재를 알 수 없습니다. 그림의 경계는 관계를 보여 줄 뿐, 개별 항목을 나타내지 않습니다.

앰버 그룹의 모든 항목은 버치 그룹에 속합니다. 경계만으로는 항목이 실제로 존재한다고 할 수 없습니다.

다음 전제가 모두 참이라고 봅니다.

앰버 그룹의 항목이 있다면 버치 그룹에도 속해야 합니다. 하지만 버치와 코럴은 겹칠 수 없습니다. 따라서 앰버와 코럴에 모두 속하는 항목은 하나도 없습니다.

앰버 그룹이 비어 있어도 이 결론은 성립합니다. 두 그룹이 겹치지 않는다는 것만 알 수 있으며, 앰버 항목이 실제로 존재한다고 말한 것은 아닙니다.

코럴 그룹은 버치 그룹 전체와 떨어져 있습니다.

이번에는 다음 두 전제만 사용합니다.

앰버 항목이 있다면 관계가 어디까지 이어지는지 따라가 보세요. 그런 다음 어느 전제가 앰버 항목의 실제 존재를 말하는지 확인합니다.

가능할 수도 있는 결론이 아니라 반드시 성립하는 결론을 고르세요.

두 그림의 버치는 같은 그룹을 뜻합니다.

어떤 결론이 반드시 성립합니까?

정답 보기

앰버 그룹의 모든 항목은 코럴 그룹에도 속합니다.

모든 앰버는 버치에 속하고 모든 버치는 코럴에 속합니다. 따라서 모든 앰버는 코럴에도 속합니다. 다만 앰버 항목이 실제로 존재한다고 보장되지는 않습니다.

직접 답하고 이어서 학습하려면 JavaScript를 켜 주세요.