: 以下是四個NPC的說詞
: A表示：B是兇手
: B表示：C是兇手
: C表示：B說的是謊話
: D表示：我不是兇手
: 並已知「這四個人裡面，只有一個人說的是實話」
四個人、四種說法但是只有一個人說真話:
先假定A說的是真話（T）
那另外三個人就應該都說的是謊話（F）.
A：T 先假定為真
B：F
C：T（BUG出現了,按A的說法C說的是真話）
所以當有兩個以上的人說真話時
這個舉例就不成立
再來假定B說的是真話,
A：F 以B的說法這時候A說得就一定是假話
B：T 假定為真
C：F C這時候說B說謊也一定是假話
D：T（BUG又出現了,按B的說法D說得也會是真話）
所以這個例子一樣不成立
再來假定C說的是真話
A：？（真假不明）
B：F （按C的說法B就一定是在說謊）
C：T 暫定為真
D：？（真假不明）
這邊目前無法判斷先跳過
最後假定D說的是真話
A：？（真假不明）
B：F （如果推論B說得是謊話,這時候C說得就會變真話了....）
C：F （如果這時候推論C說的也是假話,那B說的話就會變成真話了...）
所以在這個例子中 B、C一定有一個人說的是真話
D：T 暫定為真
所以這個例子一樣不成立
最後回到第三個例子
A：？（真假不明）
B：F （按C的說法B就一定是在說謊）
C：T 暫定為真
D：？（真假不明）
也就是如果兇手真的在這四個人中,
也真的只有一個人說實話,
那說真話的人就一定是C,
其他人都在說謊,
因為其他人說得如果是真話就一定會有第二個人說的是真話,
所以事實應該如下
A：F（謊話）
B：F（謊話）
C：T（真話）
D：F（謊話）
而D說我不是兇手,
他說得又是謊話,
那兇手當然是D.
--
: A表示：B是兇手
: B表示：C是兇手
: C表示：B說的是謊話
: D表示：我不是兇手
: 並已知「這四個人裡面，只有一個人說的是實話」
四個人、四種說法但是只有一個人說真話:
先假定A說的是真話（T）
那另外三個人就應該都說的是謊話（F）.
A：T 先假定為真
B：F
C：T（BUG出現了,按A的說法C說的是真話）
所以當有兩個以上的人說真話時
這個舉例就不成立
再來假定B說的是真話,
A：F 以B的說法這時候A說得就一定是假話
B：T 假定為真
C：F C這時候說B說謊也一定是假話
D：T（BUG又出現了,按B的說法D說得也會是真話）
所以這個例子一樣不成立
再來假定C說的是真話
A：？（真假不明）
B：F （按C的說法B就一定是在說謊）
C：T 暫定為真
D：？（真假不明）
這邊目前無法判斷先跳過
最後假定D說的是真話
A：？（真假不明）
B：F （如果推論B說得是謊話,這時候C說得就會變真話了....）
C：F （如果這時候推論C說的也是假話,那B說的話就會變成真話了...）
所以在這個例子中 B、C一定有一個人說的是真話
D：T 暫定為真
所以這個例子一樣不成立
最後回到第三個例子
A：？（真假不明）
B：F （按C的說法B就一定是在說謊）
C：T 暫定為真
D：？（真假不明）
也就是如果兇手真的在這四個人中,
也真的只有一個人說實話,
那說真話的人就一定是C,
其他人都在說謊,
因為其他人說得如果是真話就一定會有第二個人說的是真話,
所以事實應該如下
A：F（謊話）
B：F（謊話）
C：T（真話）
D：F（謊話）
而D說我不是兇手,
他說得又是謊話,
那兇手當然是D.
--
All Comments