推 ooooooo:若我問你，你是不是從誠實村來的，你會回答是嗎？ 07/24 00:36
推 COCOAII:怎麼覺得上面的回答，沒有辦法做出鑑別 07/24 14:53
推 dekaf:問 "說謊的人誠不誠實?" 這個問題可以嗎? 07/24 15:37
推 vul3G:問"你是男的還是女的"... 07/24 19:37
推 dekaf:說不定他是變性人XDDD 07/24 19:46
推 Augusta:太陽是不是從東邊升起？ 07/25 00:06
> -------------------------------------------------------------------------- <
作者: ericpony (活死人) 看板: W-Philosophy
標題: Re: 想請問一個邏輯推理的問題
時間: Tue Jul 25 07:35:08 2006
※ 引述《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)