質問: 天使と悪魔(論理学) この問題に苦戦しています。 天使は常に真実を述べ、悪魔は常に嘘をつく。a、bは悪魔か天使であることはわかっているが、どちらかはっきりしない。aがこう言った。 『私が天使ならば、bは天使です。』 この二人の正体は以下のうちどれでしょう? 1.a、b共に天使 2.aは天使、bは悪魔 3.aは悪魔、bは天使 4.a、b共に悪魔 正解は1だろうと思うのですが、3ではないことをどうやって示せばいいのでしょうか。 3ではない理由がわかりません。 よろしくおねがいします。
回答: ◆naka◆ hyper-cubeさん、ありがとうございました。 おかげさまで勘違いに気付きました。 suzukikiraraさん、申し訳ありません。 私の回答の中の(2)ですが、 >そしてここには天使か悪魔の2種類しか存在しないので、『私が天使ならば、bは悪魔です。』と言い換えることができます。 >必ず嘘をつく悪魔の言葉をひっくりかえしたので、この命題は「真」です。 の部分です。 ここで、この命題が「真」であるとすると、(1)の言葉(これも「真」)と矛盾しますので、この言葉はあり得ないことになってしまいます。 つまりbが悪魔ならば、こんな命題を言うことが不可能だということになります。 よって「bが悪魔である」という(2)の前提自体が成り立たなくなりますので、「1」しか答えになり得ない、というのが正解です。 初歩的なミスをしてしまいました。 お詫びいたします。 m(_ _)m