오늘의 논리 추론 문제 — 주말 여행지 | HMApps

오늘의 논리 추론 문제

매일 새로운 논리 추론 문제를 풀어보세요! 오늘은 선언 삼단논법 유형의 고급(Advanced) 문제입니다.

문제: 주말 여행지

다음 전제들을 읽고 반드시 참인 결론을 고르세요.

• 규칙 A: 이번 주말에 강릉에 가거나, 제주도에 가거나, 부산에 간다.
• 규칙 B: 기상청 예보에 따르면 강릉에는 폭우가 예상된다.
• 규칙 C: 강릉에 폭우가 예상되면 강릉에 가지 않는다.
• 규칙 D: 비행기 표가 매진되어 제주도에 갈 수 없다.

다음 중 반드시 참인 결론은?

정답 및 해설

정답: ② 이번 주말에 부산에 간다.

선언 삼단논법(Disjunctive Syllogism)을 적용합니다.

• 규칙 A에서: 강릉(P) ∨ 제주도(Q) ∨ 부산(R) — 셋 중 하나는 반드시 성립합니다.
• 규칙 B+C: 강릉 폭우 예보가 참이고, "폭우 예상 → 강릉 불가"이므로 ¬P (강릉 제거).
• 규칙 D: 비행기 표 매진으로 ¬Q (제주도 제거).
• P ∨ Q ∨ R에서 ¬P, ¬Q를 소거하면 R만 남습니다 → 이번 주말에 부산에 갑니다.

① "다음 주"는 전제 범위 밖이라 단정 불가, ③ 표를 다시 예약할 수 있다는 근거가 없으며, ④ 여행 취소에 대한 전제도 없습니다.

선언 삼단논법이란?

선언 삼단논법(Disjunctive Syllogism)은 "A 또는 B이고, A가 거짓이면, B가 참이다(A ∨ B, ¬A ⊢ B)"는 추론 규칙입니다. 일상 언어로 표현하면 "이것도 아니고 저것도 아니라면 남은 것이 답"이라는 소거(elimination) 방식의 논리입니다. 이 문제처럼 선택지가 셋 이상으로 확장되어도(A ∨ B ∨ C, ¬A, ¬B ⊢ C) 동일하게 적용됩니다. 법정 추리, 의학 진단, 경영 의사결정 등에서 "가능한 원인을 하나씩 배제해 최종 결론 도출"하는 방식이 바로 선언 삼단논법의 실생활 응용입니다. 단, 처음 설정된 선언지(disjunct)가 전체 가능성을 완전히 포괄해야만 결론이 확실하게 보장된다는 점에 주의해야 합니다.

논리 추론 실력을 키우려면?

HMApps의 논리 추론 퀴즈에서 기본·중급·고급 문제를 풀어볼 수 있습니다. 오늘 추가된 문제(#39 주말 여행지)를 포함해 매일 새로운 문제가 업데이트됩니다!

마치며

논리 추론 능력은 일상에서도 중요합니다. 매일 꾸준히 연습하면 논리적 사고력이 향상됩니다. 내일도 새로운 문제로 찾아오겠습니다! 🧠