논리일까, 직관일까?

'A Logical Labyrinth (논리 미궁)'이란 제목으로 인터넷에 있는 문제입니다. 이 퍼즐은 1982년 Smullyan의 저서 'The Lady or the Tiger'에 실린 것으로, 12개 중 마지막, 가장 어려운 문제로 소개되어 있다고 합니다. 예전 올린 것과 같은 설정입니다. 죄수는 여성(lady)이 있는 방을 선택해야 결혼/해방입니다. (비슷한 mo..

컴퓨터 공학자 Erik Oosterwal의 홈페이지에서 본 문제입니다. 외과 수술을 할 때 의사가 안팎이 모두 살균된 장갑을 끼지요. 장갑은 의사의 손과 환자의 몸, 혈액이 직접 닿지 않도록 해 줍니다. 의사 손에서 균이 환자에게 옮아가도 곤란하고, 환자 혈액이 의사 손에 닿아도 안 됩니다. 수술할 때 의사는 ..

쌍둥이 A, B가 있습니다. 당근 겉으로는 누가 누군지 식별할 수 없습니다. A는 의사이며 참말만 합니다. B는 환자이며 거짓말만 합니다. 의사는 평범한 인식의 소유자입니다. '1 더하기 1은 2이다' 라고 알고 있습니다. (sane) 환자는 비범한 인식의 소유자입니다. '1 더하기 1은 2가 아니다'라고 알고 있습니..

쌍둥이 A, B가 있습니다. 겉으로 봐서는 구별이 되지 않지요. 이 쌍둥이들은 심리적인 상태가 세 가지 유형이 있고 상태1, 상태2, 상태3, 상태1...식으로 바뀝니다. 상태1일 경우 A가 거짓말을 하고 (B는 참말) 상태2일 경우 B가 거짓말을 하며 (A는 참말) 상태3일 경우는 모두 참말을 합니다. 어떤 상태이든 A..

마찬가지로 Arthur J. O'Dwyer의 작품입니다. 꽤 복잡한 구조인데, 머리로써만 통찰을 찾을 수 있을지 도전해보세요. (논리식 동원해도 한참 걸림) 다른 문제도 하나 있는데, 문제에 문제가 있어 보여서리 여기 소개하지는 않으려 합니다. (이 문제는 저자가 컴퓨터 프로그램으로 에러없음을 검증했다고 하..

아래 Arthur J. O'Dwyer의 작품을 변형, 제가 만든 문제입니다. 길을 찾는 논리 구조는 마찬가지이지요. 머리로만 풀어보세요. (서두 설명 생략, 모자 7-1과 똑같음) 간수가 죄수들의 모자를 벗겨 섞은 후 씌우고 눈가리개를 풀어주었습니다. 누구나 자기 앞의 죄수 모자는 볼 수 있지요. 간수가 순서대로 "네 ..

인터넷에서 본, Arthur J. O'Dwyer의 작품입니다. 일단 워밍업으로, 보다 쉽습니다. 머리로만 풀어보세요. 왕이 생일을 맞아 나그네를 초대했습니다. 나그네와 왕이 앉은 방의 칸막이 너머에 죄수 두 명이 눈을 가린 채 끌려 나왔습니다. 죄수들은 모두 논리라면 한가락 합니다. 그들은 참족 아니면 거짓족..

인터넷을 돌아 다니니, 이런 사이트도 있군요. 컴퓨터가 생성한 참족/거짓족 문제랍니다. 382문제가 있습니다. 느닷없이, 논리식을 조금 연마하면 이런 문제를 만들 수도 있겠구나...생각이 드는데 정말 시간 밖에 없을 때 시도해볼 수도 있지 않을까...합니다. (인터넷에 강좌가 즐비함) 여하튼, 숫자가 ..

왕이 죄수에게 기회를 줍니다. 문이 둘 있고 각 문에는 여성 또는 호랑이가 들어 있습니다. (빈 방은 없습니다). 죄수에게 허용되는 것은, 주어진 조건과 문에 걸린 팻말을 보고 추론, 어느 한 문을 선택하라는 문제이며, 여성이 있는 문을 선택하면 그 여성과 결혼/해방이고, 호랑이가 있는 문을 선택하..

Smullyan Land에는 참족, 거짓족, 맘대로족이 삽니다. 참족은 참말만, 거짓족은 거짓말만, 맘대로족은 내키는대로 참말, 거짓말을 합니다. 나그네가 Smullyan Land를 영원히 떠나려는데 족장이 마지막 문제를 냅니다. (약간 각색함) - 여기 A, B, C 중 참족이 1명, 거짓족이 1명, 맘대로족이 1명 있습니다. - 그 셋이..