論理の話が出たので、ついでに聞いておくけど
おまえら、「（Uの要素xについて、）pならばqである」という命題を
背理法で示すとき、この命題の否定が何かちゃんとわかってる？