AMC 10 · 2010 · #12

학년 2 logic
유형 Small-Domain Constrained Search └ 세부 유형 Logic-Deduction / Elimination
logical-deductioncaseworkif-then-reasoning contradiction-elementary ↑ 선수 지식: logical-deduction
📏 중간 풀이 💡 3 개 인사이트
📘 쉬운 버전 보기 →
문제
네 마리가 각각 언제나 참을 말하거나 언제나 거짓을 말하고, 각자 한 마디씩 한다. 거짓말쟁이의 수를 세어라.

답을 골라 클릭하세요.

(A)
0
(B)
1
(C)
2
(D)
3
(E)
4
풀이 과정
전략 가능성 지우기

도구 #3 (가능성 지우기): 각 양서류의 종은 둘 중 하나뿐이므로, 한 종을 가정해 문장이 모순 없이 성립하는지 확인하고 모순을 낳는 경우를 지운다. 도구 #16 (관점 바꾸기): 마이크는 "적어도 둘은 두꺼비"라는 말을 거짓으로 하므로, 쓸모 있는 사실은 그 반대인 "두꺼비는 많아야 하나"이고 이것이 전체 수를 제한한다. 도구 #7 (작은 문제로 쪼개기): 먼저 마이크를 정하고, 다음으로 크리스·르로이 쌍을 정한 뒤, 그 부분 결과들을 합쳐 최종 개구리 수를 센다.

1STEP 1

브라이언의 말이 마이크를 개구리로 확정

한 주장이 어느 쪽이든 한 명을 확정한다.

브라이언 두꺼비→ 마이크 개구리; 브라이언 개구리→ 마이크 개구리
2STEP 2

마이크의 거짓말이 두꺼비를 하나로 제한

그 거짓말이 참말쟁이를 하나로 제한한다.

lnot(두꺼비 ≥ 2) ⟺ 두꺼비 ≤ 1
3STEP 3

크리스와 르로이: 정확히 하나가 두꺼비

서로를 지목하는 말이 참말쟁이를 정확히 하나 준다.

(크리스 두꺼비, 르로이 개구리) 또는 (크리스 개구리, 르로이 두꺼비)
4STEP 4

사실들을 합쳐 개구리를 세기

따라서 넷 중 3이 거짓말쟁이다, 보기 (D).

1 두꺼비 + 3 개구리 = 4 → (D) 3
정답
3
완성 배정 브라이언 개구리, 마이크 개구리, 크리스 두꺼비, 르로이 개구리를 검토한다. 브라이언(개구리)의 "마이크와 나는 다른 종"은 거짓인데 둘 다 개구리라 같은 종이므로 올바른 거짓말이다. 크리스(두꺼비)의 "르로이는 개구리"는 참이다. 르로이(개구리)의 "크리스는 개구리"는 거짓이고 크리스는 두꺼비이므로 올바른 거짓말이다. 마이크(개구리)의 "적어도 둘은 두꺼비"는 거짓이고 두꺼비는 하나뿐이다. 모든 문장이 일관되어 개구리 3마리가 확인된다. 반대 경우(크리스 개구리, 르로이 두꺼비)도 똑같이 성립하며, 3이 아닌 어떤 수도 두꺼비 수가 달라져야 하는데 두 제약이 이를 막는다.
💡핵심 정리

한 발화자의 두 가정이 같은 결론으로 이어지면 그 결론은 확실해지고, 거짓말쟁이의 "적어도" 주장은 나머지를 확정하는 든든한 상한으로 뒤집힌다.

  • 브라이언의 말이 마이크를 개구리로 확정
  • 마이크의 거짓말이 두꺼비를 하나로 제한
  • 크리스와 르로이: 정확히 하나가 두꺼비
  • 사실들을 합쳐 개구리를 세기

비슷한 유형 더 풀어보기

같은 archetype · 비슷한 학년부터.