page9 では、アバターIにとって命題Pが真であることを、 I(P)=⊤ と表現する箇所がありますので、今後もこのような表記をする事を、ここでお断りしておきます。

一応、凡例の page にも書いておきました。