《ひとこと》に書き、ソフトウェアは《GitHub/JRF-2018》で公開しています。販売中!技術系電子本。その答えが正しいかチェック(証明)した。これは「その1」で、うそつき天使問題を扱う。「ケネディの問題」というのが出てくる。問題は次のようなものである。ケネディの魂が天に昇る途中で、白い翼の天使からこんなことをおそわった。「あなたはもうすぐ、わかれ道につくでしょう。ひとつの道は天国に、もうひとつの道は地獄に行く道です。そこにはふたりの人が立っていて、あなたはそのどちらかひとりに、一回だけ質問をすることができます。天国に行く道がわかるように、上手に質問をしなさい」ああそれはありがたい、とケネディが思っていると、天使は言葉を続けた。「ふたりの人というのは、天使の姿になっているのであなたには区別できないでしょうが、ひとりがチャーチルで、もうひとりはヒトラーです。チャーチルはいつでも本当のことをいいますが、ヒトラーはいつでも、必ずウソをつきます。あなたはそのどちらかに一回だけ、『はい』か『いいえ』で答えられる質問をしなければなりません。二回以上質問をしても、二人とも答えてくれませんよ。ご成功を祈ります」これを聴いたケネディは一つの質問を思い付き、無事天国に行けたようである。その質問とはどのようなものかというのが、この論理パズルの問題である。答えはズバリ、「あなたは、『この(右の)道が天国に行く道ですか』ときかれたら、『はい』と答えますか?」というもの。似た問題はネットでは「うそつき天使」問題として紹介しているところがあった。その解説は本やネットを読んでいただくとして、その本には気になることが書いている。>こんなうまい質問を、誰がどうやって思いついたのだろうか。エレガントではない(しかしこれでもうまくいく)。名が上がっているが、それを読んでみても論理方程式の話はなかった。