查看“︁史上最难逻辑谜题”︁的源代码
←
史上最难逻辑谜题
跳转到导航
跳转到搜索
因为以下原因,您没有权限编辑该页面:
您请求的操作仅限属于该用户组的用户执行:
用户
您可以查看和复制此页面的源代码。
'''[https://zh.wikipedia.org/zh-cn/%E5%8F%B2%E4%B8%8A%E6%9C%80%E9%9B%A3%E9%82%8F%E8%BC%AF%E8%AC%8E%E9%A1%8C 史上最难逻辑谜题]'''(意大利文:''L'indovinello più difficile del mondo'';英文:''The Hardest Logic Puzzle Ever'')乃美国哲学与逻辑学家 George Boolos 一篇文章的标题及其所载谜题的名称。该文章于1992年先刊登在意大利《共和报》上,到了1996年再在《哈佛哲学评论》刊登英语版。谜题乃改编自美国逻辑学家雷德蒙·斯穆里安的创作,其内容如下:<blockquote>有代号 A, B, C 的三位神祇,只知祂们名为“真实、虚谎、任性”,但不知哪个代号属哪个名字。真实之神只说真话,虚谎之神只说假话,而任性之神会随意说真话或假话。你的任务是利用三条是非题,找出 A, B, C 的身份,但每次只能向一位神祇发问。神祇们都懂得你的语言,但只会用祂们的语言回答 "da" 或 "ja"。这两种回答,一个解“是”,一个解“否”,但你不知道哪个回答是哪个意思。</blockquote>Boolos 于文中另有数点澄清: # 你可以问一位神祇多于一条问题,也可以完全不问祂问题。 # 你可以根据之前其他问题的答案,来决定下一条问题的内容。 # 任性之神如何作答,可以想像为祂会在脑中掷硬币,若掷得正面,则回答真话;反面,则答假话。 # 对于只有“是”或“否”两种答案的问题,任性之神只会回答 da 或 ja。 你可以点击首行的链接来查看官方和其他人给出的解法。在这里,我对一种常见的解法进行深入说明,以方便理解。 == 关键思路 == 使用复合问题来消除“哒”或“呀”所代表的含义。也就是说,即使我们确定三个神分别是谁,也不一定要得知“哒”或“呀”的含义。 复合问题可以定义为E(Q)。Q即为你本身想得到答案的关键问题,E(Q)则为:“如果我问你Q,你会回答‘哒’吗?” 例如,我们要询问Q:“1+1=2吗”,我们不直接这样提问,而是问:“如果我问你‘1+1=2吗’,你会回答‘哒’吗?” === 在‘哒’代表是,'''‘呀’代表否'''的情况: === ==== 真实之神 ==== 因为1+1确实等于2,祂对于内层问题答案为是,会如实回答代表是的“哒”。而我们的外层问题问祂祂对这个问题是会不会回答“哒”,所以最终答案为是,祂进一步如实回答代表是的“哒”。 ==== 虚谎之神 ==== 因为1+1确实等于2,但祂只说假话,对于内层问题答案为是,祂会撒谎回答否的“呀”。而我们的外层问题问祂对这个问题是会不会回答“哒”,所以最终答案为否,但祂对于外层问题也说假话,所以祂撒谎也回答带表是的“哒”。 === '''在‘呀’代表是,‘哒’代表否的情况:''' === ==== 真实之神 ==== 因为1+1确实等于2,祂对于内层问题答案为是,会如实回答代表是的“呀”。而我们的外层问题问祂祂对这个问题是会不会回答“哒”,所以最终答案为否,祂进一步如实回答代表否的‘哒’。 ==== 虚谎之神 ==== 因为1+1确实等于2,但祂只说假话,对于内层问题答案为是,祂会撒谎回答否的“哒”。而我们的外层问题问祂对这个问题是会不会回答“哒”,所以最终答案为是,但祂对于外层问题也说假话,所以祂撒谎也回答代表否的“哒”。 === 总结 === 对真实之神或虚谎之神提问E(Q),只要回答为“哒”,即表示Q为真。反之回答为“呀”,则代表Q为假。 == 第一个问题 == 由于我们的E(Q)只对真实之神或虚谎之神有效,所以最难的一点是先找出一个不是任性之神的神。 问中间的神:“如果我问你左边的神是不是任性之神,你会回答‘哒’吗?”,即E(左边的外星人是不是任性之神)。 === 回答为“哒” === 要么左边的神是任性之神,要么中间的神的是任性之神,也就是说,右边的神不是任性之神。 === 回答为“呀” === 要么左边的神不是任性之神,要么中间的神为任性之神,也就是说,左边的神不是任性之神。 == 第二个问题 == 向上一步确定不是任性之神的那个神提问:“如果我问你是不是虚谎之神,你会回答‘哒’吗?”,即E(你是否为虚谎之神)。 === 回答为“哒” === 这个神是虚谎之神。 === 回答为“呀” === 这个神不是虚谎之神。由于祂也不是任性之神,他一定是真实之神。 == 第三个问题 == 再向左边的外星人提问:中间的神是不是任性之神? 由于已经知道祂是真实之神还是虚谎之神,根据祂的身份和回答即可判断中间的神是否为任性之神。 == 最后 == 用排除法即可确定第三个神的身份。
返回
史上最难逻辑谜题
。
导航菜单
个人工具
创建账号
登录
命名空间
页面
讨论
大陆简体
查看
阅读
查看源代码
查看历史
更多
搜索
导航
首页
最近更改
随机页面
MediaWiki帮助
工具
链入页面
相关更改
特殊页面
页面信息