G線上の魔王　-15戦目-

あと、魔王の居場所を当てる問題はどうやって解くんだっけ？
前にやった時はできたのに…。数学の背理法を用いる方法であることはわかるんだけど…。
公園と倉庫のどちらが正解か決められない…。

A = 公園北口、B = 地下鉄10番出口、C = 西区第3番倉庫 とすると、
A 「B→天国」……�@
B 「C→地獄」……�A
C 「C→天国以外」……�B

魔王の道に続く⇒真実が書かれている……�C
地獄の道に続く⇒嘘が書かれている……�D
天国の道に続く⇒真実または嘘が書かれている……�E

■A→魔王 と仮定すると、
�@は真実。つまり、B→天。従って�Eより、�Aは真実または嘘。
　　　●�Aは真実と仮定すると、
　　　　　C→地。従って�Dより、�Bは嘘。つまり、C→天。矛盾。
　　　●�Aは嘘と仮定すると、
　　　　　C→地以外。魔王へ続く道は1つと仮定すると、C→天。矛盾なし

■B→魔王 と仮定すると、
�Aは真実。つまり、C→地。従って�Dより、�Bは嘘。つまり、C→天。矛盾。

■C→魔王 と仮定すると、
�Bは真実。�Aは嘘。