논리/논리 퍼즐

Smullyan Land 9 (존재증명 2)

섬그늘 2008. 11. 12. 18:01

Smullyan Land에는 참족, 거짓족, 맘대로족이 삽니다. 참족은 참말만, 거짓족은 거짓말만, 맘대로족은 참말도 했다가 거짓말도 했다가 내키는대로 합니다.

 

왕궁에는 참족 또는 거짓족만 일합니다. 왕이 맘대로족을 싫어한답니다. 당신이 참족 또는 거짓족이고 취직 면접을 하고 있다고 합시다. 참/거짓을 판별할 수 있는 단 한 문장을 왕에게 제시하여 자신의 존재를 왕이 납득하게 하고 싶습니다.

 

문제 1. 문장 하나를 제시하여 자신이 참족임을 증명하세요.

       2. 문장 하나를 제시하여 자신이 거짓족임을 증명하세요.

       3. 문장 하나를 제시하여 (참족인지 거짓족인지는 밝히지 않고) 맘대로족이 아님을 증명하세요.

 

덧글 : 즉, 제시하면 '아, 이 사람은 참(또는 거짓)족이구나'라고 확신하게 되는 문장은? 하는 문제. 인터넷 퍼즐 포럼에서 아래 원래 Smullyan의 문제인 맘대로족 존재증명에서 출발, 다뤄진 것을 접했는데, 이 Smullyan Land의 사람들은 '명제'만 말한다는 전제가 있어야 성립하는 문제임. 즉 "A는 키가 큽니다", "내일은 비가 올 것입니다" 따위 문장은 (참족, 거짓족, 맘대로족 모두) 말할 수 없음.

 

주의!!! 아래 덧글에 힌트가 있습니다.

'논리 > 논리 퍼즐' 카테고리의 다른 글

천국과 지옥 6 (T,F,XOR)  (0) 2008.11.12
사무실과 공장   (0) 2008.11.12
Smullyan Land 8 (존재증명 1)   (0) 2008.11.12
흰돌 5, 검은돌 1   (0) 2008.11.12
모자 9 (K색 N개)   (0) 2008.11.12