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