※ 引述《asdinap (asdinap)》之铭言： : 我想问的一样不是这题的答案 是想请教大家解法中的某个问题 : ※ 引述《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 : 它运用这个逻辑去解题 一样在三个问题中就解出来 : 但是我认为这个逻辑根本不对 : 我的看法 事实上罗马不在俄国 就算罗马在俄国 月球为何就是乾酪做的 已经确定前提为非的情况 没有所谓的"就算" f -> f 并不能导出 t -> t 所以这句并没有 [若罗马在俄国 月球就是乾酪做的] 这样的意思 (但是有 [如果月球是乾酪做的 有可能 罗马在俄国] 的意思) 这里的"真"是指整句为真 不是指"让後面为真" (f -> f) is t : 照此说法 "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] : 我看法一样认为 月球没空气是真的 关罗马在哪里何事 : 罗马不在义大利 月球就一定有空气吗 : 以上 请大家多多指教 因为不才并没有学过逻辑学或专用术语 : 请各位大大尽量以白话说明 我的看法是这样 似乎也不够白XD -- ◤ __ ＼__◣ ◢◤◢◤ ◢ ◤ ◢███◣ ◢███◣ 黑兔子我啊 █████ █████ 所以所以 ██●█● █▇███ 最喜欢白兔子了 ██╱╲ ●◥█████◣● 我们要一直在一起喔 ◥╱█╱╱ ● ◥████ ˇ --

※ 发信站: 批踢踢实业坊(ptt.cc) ◆ From: 218.166.232.177