作者chrisjon (我是布丁^^)
看板ask-why
標題Re: [請益] 邏輯
時間Wed May 24 22:55:54 2006
※ 引述《benson12345 (benson)》之銘言：
: 一個村莊裡,只住著兩種類型的人,"騎士"與"小偷"!!
: 其中,騎士只說真話,小偷只說假話!!
: 有一天 有個人說: 如果我不是騎士!!阿三就是小偷
: 那說話的人跟阿三各是什麼身份阿??
意思是
如果我是騎士，那阿三就不是小偷
假設1：實話
阿三不是小偷
因為有人提出，所以我把我這的邏輯也說出來
"我"不是騎士→阿三是小偷是謊話→假如"我"是騎士，那"不是騎士"是反話
→阿三是小偷是反話
假設2：謊話
阿三不是小偷
我是騎士是謊話→我是騎士是假的→我不是騎士→阿三是小偷是謊話→阿三不是小偷
阿三結論出來，反過來推
因為阿三不是小偷，所以說話的也不是小偷
我不是騎士，阿三是小偷→我是小偷，阿三是小偷→(*代入阿三不是小偷推論*)
→我不是小偷，阿三不是小偷→我是騎士，阿三是騎士
結論，兩個人都是騎士
以上
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 222.156.69.109
→ slzhao:為什麼"如果我不是騎士!!阿三就是小偷"會變成 05/24 22:59
→ slzhao:"如果我不是騎士!!阿三就是小偷" 05/24 23:00
→ slzhao:"如果我是騎士!!阿三可能是小偷"難道不成立嗎? 05/24 23:00
→ slzhao:copy錯,為什麼會變成"如果我是騎士，那阿三就不是小偷" 05/24 23:01
※ 編輯: chrisjon 來自: 222.156.69.109 (05/24 23:11)
→ chrisjon:"不一定"成立，因為"如果"是放在"我"的地方 05/24 23:12
→ chrisjon:該話的意思只有"如果我是"和反過來說"我不是"，但阿三是 05/24 23:12
→ chrisjon:固定的 05/24 23:13