1.使命题公式p→(p∧q)为假的赋值是p，q分别为 ( )
A.(0,0) B.(0,1)
C.(1,0) D.(1,1)
2.使一阶逻辑公式VxヨyF(x,y)→ヨxVyF(x,y)为真的解释是 ( )
A.个体域为自然数集合，F(x,y)为x≤y
B.个体域为自然数集合，F(x,y)为x=y
C.个体域为自然数集合，F(x,y)为x D.均不属于A、B、C
3.对于任意集合A、B，A包含于B当且仅当A-B=Φ是 ( )
A.假命题 B.真命题
C.是一阶公式但不是命题 D.均不属于A、B、C
4.设R是集合A上的二元关系，IA是上的恒等关系，下面四个命题为真的是
A.R不是反自反的 B.R不是传递的
C.R不是对称的 D.R不是反对称的
5.设函数f:N→N，f(n)=n+1，下面四个命题为真的是 ( )
A.f是满射的 B.f是双射的
C.f-1是函数 D.f-1是关系
6.整数Z集合上的关系≠的传递闭包是关系 ( )
A.< B.>
C.全域关系U2 D.≠
7.完全图K4是 ( )
A.欧拉图 B.二部图
C.平面图 D.非平面图
8.连通无向图G有6个顶点9条边，T为G的一棵生成子树，对应T的基本回路的数目为 ( )
A.4 B.5
C.6 D.7
9.完全图K3的不同构的生成子图的个数为 ( )
A.3 B.4
C.5 D.6
10.设V=，其中N为自然数集合，+为普通加法。令φ:N→N，φ(x)=2x。下面四个命题为真的是 ( )
A.φ是满同态 B.φ是单自同态
C.φ是自同构 D.φ是到自身的映射，但A、B、C都不是
二、填空题 (每空2分，共20分)
1.命题公式的p→┐(p∨q)的类型是_______________。
2.一阶逻辑公式Vx(F(x)→G(x))∧┐Vy(F(y)→G(y))的类型是_______________。
3.设个体域是整数集合，命题VXヨy(x+y=0)的真值为_______________。
4.对于任意两个集合A，B，它们有共同的子集__________。
5.如果关系R是传递的，则关系R○R包含于__________。
6.设f:A→B是双射函数，则f-1是函数，并且是从B到A的__________。
7.一个无向图G=是二部图，当且仅当G中无__________的回路。
8.无向图G有12条边，6个3度顶点和2个4度顶点。此命题的真值为__________。
9.当n≥3并且n为奇数时，无向完全图Kn是欧拉图。此命题的真值为__________。
10.设代数系统V=(Q,*)，其中Q是有理数集合，*表示对Vx，y∈Q有x*y=x+y-xy，则Q上关于*的幺元(或称单位元)是_____
我都做完了 只是想对对答案