복잡한 조건문 형태의 여러 명제를 논리 기호로 변환하여 국가별 특징을 도출하고, 추론의 타당성을 검증하는 문제입니다. 본문에 등장하는 긴 조건문들을 직관적으로 파악하기 위해 핵심 속성을 기호로 정의하고 각 조사 결과를 정리해야 합니다.

우선 본문에 등장하는 국가들의 속성을 아래와 같이 기호로 약속해 보겠습니다. | 기호 | 속성 의미 | |---|---| | **P** | GDP가 2만 달러 이상이다 | | **Q** | 국제노동기구에 가입했다 | | **R** | 인구가 7천만 명 이상이다 | | **S** | 사형제 폐지 국가이다 | | **T** | 세계무역기구 회원국이다 | | **U** | 집단학살방지 협약에 가입했다 | 이 기호를 바탕으로 **갑의 조사 결과**를 조건문으로 정리합니다. - 갑1: **P → Q** - 갑2: **~P ∨ R → ~S** (즉, ~P → ~S 이고 R → ~S) - 갑3: **Q ∧ P → ~S** (갑1에 의해 P이면 Q이므로, 결국 **P → ~S** 와 같습니다.) - 갑4: **T ∧ U → S** - 갑5: A국은 **~Q** - 갑6: B국은 **U** 같은 방식으로 **을의 조사 결과**도 정리합니다. - 을1: 모든 국가는 **T ∨ Q** - 을2: **~Q → ~P** (이는 대우를 취하면 P → Q 로, 갑1과 같습니다.) - 을3: **Q ∧ U → S** - 을4: C국은 **P** - 을5: D국은 **R** 이제 이 명제들을 조립하여 갑과 을의 개별 추리가 타당한지, 두 조사 결과를 합쳤을 때 어떤 결론이 나오는지 확인해 보겠습니다.

2012년 LEET 추리논증 32번 해설

2012년 LEET 추리논증 32번 해설 | QZip