>>329
分からない人だな。A→BはAの否定∨Bと等値であることしか言えないのは述語論理の中だけだ。