有幾個天使? - 推理遊戲

※ 引述《a4026 (流星只在天空上)》之銘言：
: 一個旅行家遇到了三個美女，他不知道哪一位是天使，哪一個是魔鬼。
: 天使常常說真話，而魔鬼只會說假話。
: 甲說:"在乙和甲之間，至少有一個是天使。"
: 乙說:"在丙和甲之間，至少有一個是魔鬼。"
: 丙說:"我告訴你正確的消息吧。"
: 那麼...你能判斷出有幾個天使嗎?
PART.A
天使 = 誠實
魔鬼 = 說謊

PART.B
假若甲說謊 => 乙和甲都魔鬼
假若乙說謊 => 丙和甲都天使

PART.C
假若甲誠實 => 乙可能天使可能魔鬼 => 乙天使 => 丙魔鬼 (結論A1)
乙魔鬼 => 丙和甲都天使 (結論A2)

假若甲說謊 => 乙和甲都魔鬼 => 甲魔鬼 => 乙和甲都魔鬼 (迴圈，無意義)
=> 乙魔鬼 => 丙和甲都天使 (甲既天使又魔鬼，不成立)

假若乙誠實 => 丙和甲至少一個魔鬼 => 丙魔鬼 (可能是可能不是)
=> 甲魔鬼 => 乙和甲都魔鬼 (乙既天使又魔鬼，
不成立)

假若乙說謊 => 丙和甲都天使 => 丙天使 (可能是可能不是)
=> 甲天使 => 乙和甲至少一個天使 => 乙天使 (乙既天使
又魔鬼，不成立)
=> 甲天使 (結論B)

假若丙誠實 => 乙誠實(乙說謊反推) => 丙魔鬼 (丙不可能既天使又魔鬼，不成立)
=> 甲魔鬼 => 乙和甲都魔鬼 (乙既天使又魔鬼，不
成立)

假若丙說謊 => 乙誠實 => 丙和甲至少一個魔鬼 => 丙魔鬼 (迴圈，無意義)
=> 甲魔鬼 => 乙和甲都魔鬼 (乙既天使
又魔鬼，不成立)




PART.D
結論A1.甲天使 乙天使 丙魔鬼
結論A2.甲天使 乙魔鬼 丙天使
結論B.乙魔鬼 甲天使 丙天使

A2 = B

最後結論 甲天使 乙魔鬼 丙天使




--