09/01/25 20:55:05
>>60はある意味とんちクイズみたいな答えだと思ったけど、
確かに問題文には、「はいかいいえで必ず答えられる
質問しかしてはいけない」（※）って断りはないね。
ところで>>55の条件が絶対要るって示せるんだろうか？
（正確には、それプラス上の※の条件）
古典的な命題論理みたいな議論でいけるかと思ったけど
頭が混乱してきてわからんくなった・・・。
xに対して真偽が問える命題の集合を、
Hx:xは正直者
Lx:xは嘘つき
Tx:xは適当に答える
R:天国への扉は右
とその論理演算で書けるもの全体として、
命題Pに対する返事が仮に「いいえ」だったら、
(Hx∧￢P)∨(Lx∧P)∨T
・・・みたいな感じで。