>>608

〈「殺人がいくない」ことが真であることが，
F(A,B)とH(A,B)が空集合であるということに言い換えられる〉ことの理由を説明すべきだと思いますが。

そもそもF(A,B)とH(A,B)が空集合じゃないかつG(A,B),H(A,B)が空集合じゃないときにはＡがＢを殺した事実はどうなるんですか？
それに大抵の場合Ｆ〈Ａ、Ｂ〉∋Ａ、Ｇ〈Ａ、Ｂ〉∋Ｂのような気がしますし現実問題空集合になんかなりえないと思いますが。

まあでもちょっと面白かったけど…