作者ivanos (common sense)
看板logic
标题Re: [请益] 问问题得到甲村在哪的方法
时间Sun Oct 31 21:47:06 2010
我想，可能先需要对某些涵义做些厘清。
我定义若K说假话且陈述R为真，则K会表示R为假;
若K说实话且陈述S为真，则K会表示S为真。
follow上面这个定义的话，以下某些部份有些问题
※ 引述《daltuku (我要送Hodges100张好人卡)》之铭言：
: 首先我们需要知道iff的truth-table长什麽样子
: P Q P iff Q
: T T T
: T F F
: F T F
: F F T
: 然後我们可以开始考虑上述问句
: P:左边是甲村
: Q:你的回答是实话
: 如果随机人这一次要说实话
: 则
: Q为T
: 接着我们考虑到底左边是不是甲村
: 若是甲村，则：P为T
: 根据truth-table，我们知道P与Q皆为T时整句话是真的，所以他会回答「是对的」
: 若甲村不在左边，则P为F，故整句话是错的
以上没问题
: --
: 若此次随机人选择要说假话
: 则Q为F
这边错了吧，Q为「你的回答是实话」，但随机人说假话，所以他
会表示「你的回答是实话」这个陈述为T。
: 甲村在左则P为T
这边一样，随机人说假话，所以他会表示P为F
: 故整句看起来是假，但因为他要说假话，所以他会回答「是对的」
这边结论是对的。但是是因为T iif F且随机人说假话，所以他会表示T
: 若甲村不在左则P为F，整句话的真值为真，但因为他要说谎，所以他会说「不对」
一样，结论对。
但随机人说假话且甲村不在左侧，所以他会表示P为T; 同理Q为T;
最後整句话表示为F
结论是藉由这个问法的确可以得到答案。
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 122.126.233.251
1F：推 Hseuler:daltuku没错 10/31 22:35
2F：推 daltuku:随机人的回答是假话，这边的「回答」是(P iff Q) 11/01 00:42
3F：→ daltuku:因为我问的是P iff Q，我不是问 Q, P iff Q 11/01 00:46
4F：→ daltuku:所以随机人要选择说真说假基本上就只是assign个真值给P, Q 11/01 00:47
5F：→ daltuku:他真正要回答的是assign完真值以後的~(P iff Q)的真值 11/01 00:48