>>204
> 普通の述語(>∈⊂)
は
>論理記号(¬∧∨→∀∃)
で置き換え可能なのではないのですか?