논리일까, 직관일까?

오늘은 심각하고 머리 아픈 문제가 아니라, 전칭명제를 깨는 반례에 대해 썰을 풀어볼까 합니다. 논리의 세계에서 전지전능, 무소불위, 뭐든지 다 할 수 있는 존재란 있을 수 없다는 게 제 생각입니다. 이제껏 이 게시판에 올렸던 문제 형식으로 구성하면 아래와 같이 되겠지요 : 나그네가..

'페르마의 밀실'이라는 스릴러 영화를 어쩌다 봤는데, 논리 퀴즈가 많이 나오더군요. 거의 이 게시판에 올라와 있는 정도 이하의 난이도인데 (아주 어려우면 보는 관객 짜증날 것임), 제한 시간을 분 단위로 거는 설정인지라 제 취향은 아니었지요. 어쨌든, 그 중 소개된 것 중 직관을 요하는 문제입니..

무척 오랜만에 사이트에 들렀더니, 별로 활발하지는 않은데 하나 문제가 눈에 띄었습니다. http://perplexus.info/show.php?pid=6691 이 문제에 대한 정답은 아직 제시되어 있지 않은 상태인데, 아래와 같이 조금 더 어렵게 각색할 수 있을 듯 합니다. 만고 제 생각이므로 틀릴 수 있습니다. 이런 유형에 관심 있는 ..

사이트를 들렀더니 흥미로운 문제가 올라와 있더군요. 잠시 머리를 앓아 보세요. Triple Land에는 참족, 거짓족, 똑딱족(strictly alternator)이 삽니다. 참족은 항상 참말만, 거짓족은 항상 거짓말만 하는데 똑딱족은 참말과 거짓말을 항상 번갈아 합니다. 즉 바로 전에 참말을 했으면 지금은 거짓말, 직전에 거..

Triple Land에는 참족, 거짓족, 똑딱족(strictly alternator)이 삽니다. 참족은 항상 참말만, 거짓족은 항상 거짓말만 하는데 똑딱족은 참말과 거짓말을 항상 번갈아 합니다. 즉 바로 전에 참말을 했으면 지금은 거짓말, 직전에 거짓말을 했으면 지금은 참말을 하지요. 나그네가 공원 벤치에 앉아 쉬고 있는데, ..

Triple Land에는 참족, 거짓족, 똑딱족(strictly alternator)이 삽니다. 참족은 항상 참말만, 거짓족은 항상 거짓말만 하는데 똑딱족은 참말과 거짓말을 항상 번갈아 합니다. 즉 바로 전에 참말을 했으면 지금은 거짓말, 직전에 거짓말을 했으면 지금은 참말을 하지요. 나그네가 술집에 가서 카운터에 앉았는데, ..

Triple Land에는 참족, 거짓족, 똑딱족(strictly alternator)이 삽니다. 참족은 항상 참말만, 거짓족은 항상 거짓말만 하는데 똑딱족은 참말과 거짓말을 항상 번갈아 합니다. 즉 바로 전에 참말을 했으면 지금은 거짓말, 직전에 거짓말을 했으면 지금은 참말을 하지요. 왕이 나그네를 초대해 함께 사냥을 갔습니..

Smullyan Land에는 참족과 거짓족이 삽니다. 참족은 항상 참말만, 거짓족은 항상 거짓말만 하지요. 왕이 나그네를 초대하여 신하 네 명을 소개합니다. 서로에 대해 질문하니 아래와 같이 답하는군요. P : Q에게 물으면, 자신과 S는 같은 종족이라고 말할 겁니다. Q : S에게 물으면, 자신과 P는 다른 종족이라고..

인터넷을 다니니 참족, 거짓족 문제만 다루는 퀴즈 포럼이 있더군요. 2002년 부터 시작된 모양인데, 수량도 꽤 되고 주옥 같은 문제가 눈에 띄는 바, 가끔 선별하여 번역/각색, 올리려 합니다. http://perplexus.info/category/10/ (아래도 그 중 하나, Raymond Smullyan의 작품이라고 합니다. 제 판단에 매우 간단하고 좋..

알고 보니 Raymond Smullyan의 Lady or Tiger는 모두 12장으로 이루어져 있나 보네요. 그 중 1~6과 마지막 12(논리미궁)을 이 게시판에 올린 바 있습니다만, 나머지를 보게 되어 추가합니다. 7,8은 1~6과 형식이 비슷하므로 생략하고, 9~11이 보다 복잡한 형태인지라 여기 함께 묶어 게시합니다. 죄수가 여성이 있는 ..