旅人木日記またはベセスダの回想

の主張は正しそうです。（＾＾


ｐ：この道は天国に通じている
1：真 　　 0：偽と表すとして


相手がうそつきの場合
ｐ 　　　　ｘ　　　 答え
1 　　　　　 0 　　　 yes
0 　　　　　 1 　　　 no

相手が正直な場合

p 　　　　　 x 　　　　 答え
1 　　　　　 0 　　　　 yes
0 　　　　　 1 　　　　 no


となるような命題 ｘ を探すことが必要十分かと。
つまりこの ｘ は真偽の判断が、この二人にとって異なるような命題です。ですから1+1＝2のような二人にとって真又は偽な命題ではだめです。この場合の特殊性を利用するとできそうな・・・

たとえばｑ：あなたはYesという

という主張はそれ自身、命題ではありませんが、ｐの存在下では命題となります。そのときｑを含んだ命題の真理表は通常とは異なります。多分これをうまく使えば・・・と思っているんですが。

このような考え方はどうでしょう（＾＾；