ロジックパズル
悪魔なら、天使が「Yes」と答えることを知っているので、ウソをついて「No」という。
本物の天使がもう一人を天使だと思っている(実際には悪魔)場合、門番に「『この道は天国行きですか?』と私があなたに尋ねたら、あなたは『Yes』と答えますか?」と尋ねればよい。天国への道であれば、天使は「Yes」と答え、悪魔は「No」と答えるので、真実は「No」だが、悪魔なのでウソをつき「Yes」という。よって、天使も悪魔も「Yes」と答えることになる。地獄への道であれば、天使は「No」と答え、悪魔は「Yes」と答えるので、真実は「Yes」だが、悪魔なのでウソをつき「No」という。よって、天使も悪魔も「No」と答えることになる。 確実に天国行きの道を選ぶための質問としては後者の方が優れているといえる。
例題3 赤か白の帽子をかぶっている人が3人縦に並んでいます。自分の帽子の色は分かりませんが、前から2人目の人は1番前の人の帽子の色が見え、1番後ろの人は前から2番目の人と1番前の人の帽子が見えます。なお、後ろを振り返ることはできません。
ロジックパズル(論理パズル、推理パズルともいう)は、数学パズルの一種で、文章で説明される状況などから、論理的に矛盾無くあてはまる1通りのパターンを見つけ出す、といったような形式のパズルである。学術的に見ると制約充足問題であるものが多い。