天使、悪魔、人間（論理パズル）…図を使った回答をお願い！

質問

■次の論理パズルの分かりやすい回答の説明をお願いします。

　できれば図を使っての解説をお願いします。
（カルノー図のように、論理状態を図で感覚的に分かるのが助かります）。

【問題】
　天使、悪魔、人間の３人がいます。

・天使：常に真実を語ります。
・悪魔：常にウソをつきます。
・人間：真実を語ったり、ウソをついたりします。

Ａ：「私は天使ではありません」
Ｂ：「私は人間ではありません」
Ｃ：「私は悪魔ではありません」

　さて、Ａ、Ｂ、Ｃ　は、それぞれ、天使、悪魔、人間
のうち誰でしょう？

[回答]
Ａ：人間、Ｂ：天使、Ｃ：悪魔

回答No.4

noname#111227 · ベストアンサー

セリフを言えるのを○すると・・・

　　　　　　　　　　　　　　　　　　　　天使　　悪魔　　人間
Ａ：「私は天使ではありません」　　×　　　×　　　　○　
Ｂ：「私は人間ではありません」　　○　　　×　　　　○
Ｃ：「私は悪魔ではありません」　　○　　　○　　　　○

Aを言えるのは「人間」のみです。
Bを言えるのは天使か人間ですが既にAは人間なので「天使」です
Cは残った「悪魔」です

お礼

ありがとうございます。

私の期待していた図で示してという点から、分かりやすかったです（この図を思い出すといつでも回答が導びくことができると思いました）。

回答No.5

meer

この問題は図解するよりも上か下から順番に考えた方が分かりやすいと思います。

Ａ：「私は天使ではありません」
天使は本当のことしか言わないので、天使は除外。
悪魔もうそしか言わないので除外。
となると人間しか当てはまりません。

Ｂ：「私は人間ではありません」
天使は本当のことしか言わないので、該当します。
悪魔はうそしか言わないので除外。
人間は該当しますが、重複は無しということで除外。

Ｃ：「私は悪魔ではありません」
天使は本当のことしか言わないので、天使は除外。
悪魔はうそしかいわないので、該当します。
人間は該当しますが、重複は無しということで除外。

ということで、人間は何とでも答えるので消去法で考えれば当てはまるのがこの組み合わせになってしまいます。

回答No.3

daisangenn

図を書くのは大変なので日本語ですみません。

もしAが天使だったら・・・
天子は常に真実を言うので、天使ではない（うそ）とはいえない。よってAは天使ではない。

もしAが悪魔だったら・・・
悪魔は常にうそをつくので、天使ではない（真実）とはいえない。よってAは悪魔ではない。

よって、Aは人間である。

次にBが悪魔だったら・・・
悪魔は常にうそをつくので、人間ではない（真実）とはいえない。よってBは悪魔ではない。

よって、Bは天使になる。天使は常に真実を言うので人間ではない（真実）ということができる。

よって、Cは悪魔になる。悪魔は常にうそを言うので悪魔ではない（うそ）ということができる。

よって、A:人間　B:天使　C:悪魔　となる。

回答No.2

taranko

悪魔はウソをつくので、悪魔ではありませんと言っている
Ｃが悪魔ということが確定します。
天使は本当のことを言うのでＡＢのうちＢが天使という
ことが確定します。
残りのＡが人間です。

いかがでしょうか

回答No.1

kyu-hama

まず悪魔ですが
Ａが悪魔なら「天使ではない」は真実になってしまいます。
同様にＢが悪魔でも「人間ではない」という真実になります。
なので絶対にウソをつく悪魔はＡにもＢにもなれないので
Ｃに確定します。

次に天使について
Ａが天使とすると「天使ではない」というのがウソになってしまうので
Ａは絶対天使ではありません。

すでにＣは悪魔だと分かっているので
天使は残ったＢです。

よって残りの人間はＡですね

図は使ってないですが
回答はこんな感じだと思います