作者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