真に最難関の論理パズル
どのようにして神がQに答えることを選ぶかは、Qと神との間における排他的論理和の否定により与えられる(仮にQへの答えと神の性質が反対であれば、神により与えられる答えは必ず「ノー」に縛られ、性質が同じならば必ず「イエス」になる) ¬ ( Q ⊕ God)
神により与えられる答えがJaか否かは、前の結果とJaとの間における排他的論理和の否定により再度与えられる。 ¬ ( ( ¬ ( Q ⊕ God) ) ⊕ Ja )
ステップ2の結果は、質問に対する真実の答えをもたらす。「私があなたにQを尋ねたら、あなたはJaと言うでしょうか?」 神が与えるだろう答えは、ステップ1で使ったのと同様の論法を使うことにより確認することが可能となる。 ¬ ( ( ¬ ( ( ¬ ( Q ⊕ God) ) ⊕ Ja ) ) ⊕ God )
最後に、この答えがJaかDaかを明らかにするために、Jaとステップ3の結果との排他的論理和の否定(さらに別の)が必要とされる。 ¬ ( ( ¬ ( ( ¬ ( ( ¬ ( Q ⊕ God) ) ⊕ Ja ) ) ⊕ God ) ) ⊕ Ja )
この最終表現は、仮に答えがJaの場合は真、それ以外は偽と評価する。以下8つのケースが生じる(1は真、0は偽)。
一番左と一番右の列を比較すると、質問に対する答えが「イエス」の場合にのみ、答えがJaであることがわかる。 代わりにこんな質問でも同じ結果が適用される「私があなたにQを尋ねたら、あなたはDaと言いますか? 」。なぜなら、反事実的条件法の評価は、表面的にJaとDaの意味に依存しないからである。(ここで図示した) 8つのケースそれぞれは、下の言葉で等しく推論される。
jaがイエス、daがノーの意味だと仮定する。