离散数学
反对称性、反自反性；4、{ ,{{ ,2}},{{2}},{{ ,2},{2}}}；5、1；
6、(P Q R) ( P Q R) (P Q R)；7、任意x，如果x是素数则存在一个y，y是奇数且y整除x ；8、 x y z u( P(x,z) P(y,z) Q(x,y,u))。
六、 选择 20%（每小题 2分）
七、 证明 16%(每小题8分) 1、 ①A ②A B
③A B C D ④C D ⑤D ⑥D E ⑦D E F ⑧F ⑨A F 2、
P（附加前提） T①I P T②③I T④I T⑤I P T⑥⑦I CP
xP(x) xQ(x) ( x)P(x) xQ(x)本题可证 x(P(x) Q(x)) ( xP(x) xQ(x)
① ( xP(x)) ② x( P(x)) ③ P(a)
④ x(P(x) Q(x)) ⑤P(a) Q(a) ⑥Q(a) ⑦ xQ(x)
P（附加前提） T①E ES② P US④ T③⑤I EG⑥