Re: [討論] 最難的邏輯題

看板logic作者hirabbitt (兔子)時間16年前 (2009/03/19 14:41)推噓4(4推 0噓 4→)

留言8則, 2人參與討論串11/13 (看更多)

※ 引述《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

→

ksmrt0123

03/19 22:37, , 1^F

03/19 22:37, 1^F

→

ksmrt0123

03/19 22:38, , 2^F

03/19 22:38, 2^F

推

aletheia

03/19 22:48, , 3^F

03/19 22:48, 3^F