4.设图G=<V,E>,则下列结论成立的是(). A.deg(V)=2E B.deg(V)=E C.deg() D会dego)=lEl 5.无向完全图K4是(). A.哈密顿图 B.欧拉图 C.树 D.非平面图 得分 评卷人 二、填空题（每小题4分，共20分） 6.设P:明天下雨，Q:我去书店.则将命题“如果明天不下雨，我就去书店”符号化 为 7.设个体域D={a,b,c},公式VxF(x)→3yG(y)消去量词化为 8.集合Ac0当且仅当 9,数列{2,3,3,4}不能构成无向简单图的度数列，此命题的真值为 10.设G是连通平面图，v,e,r分别表示G的结点数，边数和面数，则v,e和r满足的关系式 是 得 分 评卷人 三、化简计算题（每小题10分，共50分）】 11.设P是二元谓词符号，给定解释I如下： 个体域D={a,b},P(a,a)=P(a,b)=0,P(b,a)=P(b,b)=1 求3xyP(x,y)在解释I下的真值.（要求写出过程) 12.设集合A={a,b,c,d,e},B={b,d,e},C={a,b,d},求(A-B)⊕(BUC). 13.设集合A={0,1,2,3,4},定义A上的二元关系R为： R={<xy>|x,y∈A∧(x=yVx十y∈A)》 试写出二元关系R的集合表达式，并指出R具有的性质. 194. =< 则下 ). A. deg(V) =2 IE I B. deg(V) = IE I c. deg(v) = 21 E I vEV 5. A. 哈密 C. 得分|评卷人 D. deg(v)= lEI vEV B.欧拉图 D. 二、填空题{每小题4分，共 0分} 6. 设P: 明 天 下 将命题 • 7. 个体 c} 公式 xF(x) • 3 y G(y) • 8. 合A 9. 列{2 ，3 ，3 ，4} 图 的 命题 • 10. 设G 是 通平 分别 示G 和 面 满足 • 分\ 评卷人 三、化简计算题(每小题 0分，共 0分} 1 1. 设P 二元谓 定解释I 个体域 D = =P(a ,b)=O ,P(b ,a) =P(b VyP(x，y) 在解 (要求写出过程) 12. 合A= ,B = {b ,d,e} ,C= {a ，b ，d} - B) $(B U C). 13. 合A = {0 ,1 2， 3，的，定义 A上的二元关系 R为 .R = {< x ,Y > 1 ，y /I. (x = y V x +y eA)} 试写出二元关系R的集合表达式，并指出R具有的性质. 19