>>295
まあそうなんだけどさ
ここでは、もとの命題が全称命題になっているんで、
正確には、その否定は
「Uのある要素ｘが存在して、p(x)∧¬q(x)」
つまり「反例が存在する」ってことになるんだぜ。
高校の先生って知ってか知らずか、そこのところをちゃんと言わないんだよな