作者chrisjon (我是布丁^^)
看板logic
标题Re: [请益] 逻辑
时间Wed May 24 23:13:40 2006
※ [本文转录自 ask-why 看板]
作者: chrisjon (我是布丁^^) 看板: ask-why
标题: Re: [请益] 逻辑
时间: Wed May 24 22:55:54 2006
※ 引述《benson12345 (benson)》之铭言：
: 一个村庄里,只住着两种类型的人,"骑士"与"小偷"!!
: 其中,骑士只说真话,小偷只说假话!!
: 有一天 有个人说: 如果我不是骑士!!阿三就是小偷
: 那说话的人跟阿三各是什麽身份阿??
意思是
如果我是骑士，那阿三就不是小偷
假设1：实话
阿三不是小偷
因为有人提出，所以我把我这的逻辑也说出来
"我"不是骑士→阿三是小偷是谎话→假如"我"是骑士，那"不是骑士"是反话
→阿三是小偷是反话
假设2：谎话
阿三不是小偷
我是骑士是谎话→我是骑士是假的→我不是骑士→阿三是小偷是谎话→阿三不是小偷
阿三结论出来，反过来推
因为阿三不是小偷，所以说话的也不是小偷
我不是骑士，阿三是小偷→我是小偷，阿三是小偷→(*代入阿三不是小偷推论*)
→我不是小偷，阿三不是小偷→我是骑士，阿三是骑士
结论，两个人都是骑士
以上
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 222.156.69.109
1F：→ slzhao:为什麽"如果我不是骑士!!阿三就是小偷"会变成 05/24 22:59
2F：→ slzhao:"如果我不是骑士!!阿三就是小偷" 05/24 23:00
3F：→ slzhao:"如果我是骑士!!阿三可能是小偷"难道不成立吗? 05/24 23:00
4F：→ slzhao:copy错,为什麽会变成"如果我是骑士，那阿三就不是小偷" 05/24 23:01
※ 编辑: chrisjon 来自: 222.156.69.109 (05/24 23:11)
5F：→ chrisjon:"不一定"成立，因为"如果"是放在"我"的地方 05/24 23:12
6F：→ chrisjon:该话的意思只有"如果我是"和反过来说"我不是"，但阿三是 05/24 23:12
7F：→ chrisjon:固定的 05/24 23:13
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 222.156.69.109