一、单项选择题(本大题共8小题，每小题2分，共16分)
1.设p:天下大雨，q:小王乘公共汽车上班，命题“只有天下大雨，小王才乘公共汽车上班”的符号化形式为[A]
A.p→q B.q→p
C.p→┐q D.┐p→q
2.设解释I如下，个体域D={a,b},F(a,a)=(b,b)=0,F(a,b)=F(b,a)=1，在解释I下，下列公式中真值为1的是[ ]
A.VxヨyF(x,y) B.ヨxVyF(x,y)
C.VxVyF(x,y) D.┐ヨxヨyF(x,y)
3.设G为n阶m条边的无向简单图，下列命题为假的是[ ]
A.G一定有生成树 B.m一定大于n
C.G的边色数χ'≥Δ(G) D.G的最大度Δ(G)≤n-1
4.设G为完全二部图K2,3，下面命题中为真的是[ ]
A.G为欧拉图 B.G为哈密尔顿图
C.G为平面图 D.G为正则图
5.对于任意集合X,Y,Z，则[ D]
A.X∩Y=X∩Z=>Y=Z B.X∪Y=X∪Z=>Y=Z
C.X－Y=X－Z=>Y=Z D.X⊕Y=X⊕Z=>Y=Z
6.下面等式中唯一的恒等式是[ D]
A.(A∪B∪C)-(A∪B)=C B.A⊕A=A
C.A-(B×C)=(A-B)×(A-C) D.A×(B-C)=(A×B)-(A×C)
7.设R为实数集，定义*运算如下：a*b= |
