作者ericantion (遊客)
看板Inference
標題Re: [問題] 有幾個天使?
時間Fri Sep 5 21:41:23 2008
※ 引述《a4026 (流星只在天空上)》之銘言：
: 一個旅行家遇到了三個美女，他不知道哪一位是天使，哪一個是魔鬼。
: 天使常常說真話，而魔鬼只會說假話。
: 甲說:"在乙和甲之間，至少有一個是天使。"
: 乙說:"在丙和甲之間，至少有一個是魔鬼。"
: 丙說:"我告訴你正確的消息吧。"
: 那麼...你能判斷出有幾個天使嗎?
PART.A
天使 = 誠實
魔鬼 = 說謊
PART.B
假若甲說謊 => 乙和甲都魔鬼
假若乙說謊 => 丙和甲都天使
PART.C
假若甲誠實 => 乙可能天使可能魔鬼 => 乙天使 => 丙魔鬼 (結論A1)
乙魔鬼 => 丙和甲都天使 (結論A2)
假若甲說謊 => 乙和甲都魔鬼 => 甲魔鬼 => 乙和甲都魔鬼 (迴圈，無意義)
=> 乙魔鬼 => 丙和甲都天使 (甲既天使又魔鬼，不成立)
假若乙誠實 => 丙和甲至少一個魔鬼 => 丙魔鬼 (可能是可能不是)
=> 甲魔鬼 => 乙和甲都魔鬼 (乙既天使又魔鬼，
不成立)
假若乙說謊 => 丙和甲都天使 => 丙天使 (可能是可能不是)
=> 甲天使 => 乙和甲至少一個天使 => 乙天使 (乙既天使
又魔鬼，不成立)
=> 甲天使 (結論B)
假若丙誠實 => 乙誠實(乙說謊反推) => 丙魔鬼 (丙不可能既天使又魔鬼，不成立)
=> 甲魔鬼 => 乙和甲都魔鬼 (乙既天使又魔鬼，不
成立)
假若丙說謊 => 乙誠實 => 丙和甲至少一個魔鬼 => 丙魔鬼 (迴圈，無意義)
=> 甲魔鬼 => 乙和甲都魔鬼 (乙既天使
又魔鬼，不成立)
PART.D
結論A1.甲天使 乙天使 丙魔鬼
結論A2.甲天使 乙魔鬼 丙天使
結論B.乙魔鬼 甲天使 丙天使
A2 = B
最後結論 甲天使 乙魔鬼 丙天使
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 218.168.185.43
1F：→ ericantion:因A1和A2是乙的二擇一但B明確說乙是魔鬼，所以A1被推翻 09/05 21:51
※ 編輯: ericantion 來自: 218.168.185.43 (09/05 21:51)