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