作者asdinap (asdinap)
看板logic
标题Re: [讨论] 最难的逻辑题
时间Sun Mar 8 16:56:54 2009
我想问的一样不是这题的答案 是想请教大家解法中的某个问题
※ 引述《brains (不认识)》之铭言:
: 有甲、乙、丙三个精灵,其中一个只说真话,另外一个只说假话,
: 还有一个随机地决定何时说真话,何时说假话。你可以向这三个
: 精灵发问三条是非题,而你的任务是从他们的答案找出谁说真话,
: 谁说假话,谁是随机答话。你每次可选择任何一个精灵问话,问
: 的问题可以取决於上一题的答案。这个难题困难的地方是这些精
: 灵会以「Da」或「Ja」回答,但你并不知道它们的意思,只知道
: 其中一个字代表「对」,另外一个字代表「错」。你应该问那三
: 条问题呢?
我有看过puzzle板i大的解法了 我对i大的解法没啥问题啦
我有问题的是原作的解法
我在解的时候 其实是有多加限制
[就是一个问题中只能问一个问题 但不包含很多问题]
例如 不问说{[甲事是对的 或是 乙是错的]这话是对的 或是丙事是对的] 对吗}
因为我那时认为 如果可以这样问
那这题就称不上是[世界最难的逻辑问题]
(并没有轻视i大的解法的意思)
......於是 我解不出来 应该说我解出来[此题无解]
所以我就去看解答
我看的是 Boolos 1998 Logic, Logic, and Logic Harvard University Press
的解答
它用了一招:
[月球是乾酪做的]已知是错 [罗马在俄国]已知是错
那麽 [只有罗马在俄国 时 月球是乾酪做的]
怕英文不好 所以原文
["The moon is made of Gorgonzola iff Rome is in Russia" is true]
其中 iff = if, and only if
它运用这个逻辑去解题 一样在三个问题中就解出来
但是我认为这个逻辑根本不对
我的看法 事实上罗马不在俄国 就算罗马在俄国 月球为何就是乾酪做的
照此说法 "The moon is made of BBQ iff Rome is in Russia" is true
那iff Rome is in Russia时 月球到底是乾酪做的还是BBQ做的
此外 它又说["The moon lakes air iff Rome is in Italy" is true]
我看法一样认为 月球没空气是真的 关罗马在哪里何事
罗马不在义大利 月球就一定有空气吗
以上 请大家多多指教 因为不才并没有学过逻辑学或专用术语
请各位大大尽量以白话说明
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 59.104.121.10
1F:推 micklin:因为iff的定义就是如此啊 03/08 19:25
2F:→ asdinap:可以再说更清楚一点吗 03/09 00:32
※ 编辑: asdinap 来自: 59.104.121.10 (03/09 00:59)
3F:推 teves:这是逻辑基本的东西吧 03/09 11:54
4F:→ teves:也就是逻辑学中的定义跟你的直觉是不太一样的 03/09 11:58
5F:推 teves:逻辑中的if是没有因果关系的 03/09 12:07