あ、投稿したと思ってたのに投稿できてなかった。
レスが錯綜して申し訳ない。

>>36

なるほどそういうことね。

余談だけど、たしか時間の概念はこういう命題論理学では考慮できないから、現実問題と照らし合わせると時間の関係がおかしくなってしまうっていうのを昔聞いたのを思い出した（時間を考慮したものは述語論理で表すらしい）。
述語論理のことまったく理解できなくて、「時間ごっちゃになっても良くね」って思ってたけど、今考えると全然良くないな()