※ 引述《bacon7599 (陪陪)》之銘言： : 今天在電影裡看到的 : 假設在你家附近有說謊村和實話村 : 來自說謊村的人只會說謊話 : 來自實話村的人只會說實話 : 今天有一個人向你走來 : 你必須問一個問題用以判斷他來自哪個村 : 那要問怎樣的問題呢？ : 只能問一個問題喔～ 你可能有記錯 如果問題這麼單純的話 只要問他一個恆真句(套套邏輯)就可以分辨出來 例如: 說謊村的人都說謊嗎? 版友提供的 "太陽從東邊升起嗎" 也 ok 但因為不是恆真句 可能會有爭議的空間 : 我記得好像要用什麼雙重否定 如果真正發揮雙重否定的威力, 妳可以對這位村民問出任何他知道答案的問題. 用真值函數來表示的話: if Fx = x, Gx = ~x, Hx = either Fx or Gx, Px = (for all x : Hx = Fx) or (for all x : Hx = truth) then H(Px) = x 假設除了你之外, 大家都知道台北市在 7/25 會不會放颱風假. 則令 Fx 代表 "x是誠實村民", Gx 代表 "x是說謊村民", Hx 代表該位村民對於問題(其真偽值為x)的回答, a 代表 "台北市放颱風假" 這個陳述的真偽值, (Hx的定義是有效的, 因為我們已經假設被問的人總是知道問題的答案) 那麼 H(Pa) 就是該位村民對於 "你要不就是誠實村民, 要不就會告訴我台北市放颱風假. 我說的沒錯吧? " 這個問題的答覆: yes --> 會放假, no --> 不放假. : 可是答案有點忘記了 : 是否有人可以解釋一下呢？ --

※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 140.112.50.200 ※ 編輯: ericpony 來自: 140.112.30.82 (02/05 07:47)