得 分 评卷人 三、化简计算题（每小题10分，共50分） 11.化简命题公式((P→P)+Q)+((P+P)→R), 12.设谓词公式3x(P(x,y)→VxQ(y,x,x))∧HyR(y,z)F(y),试写出量词的辖域， 并指出该公式的自由变元和约束变元 13.设给定集合A={a,b}, (1)写出P(A)； (2)P(A)上的包含关系C的集合表达式 14.设集合A={a,b,c},已知A上的二元关系R的关系图如图1所示，试写出R的集合 表达式，并指出R具有的性质. 图1第14题图 15.(1)在1棵有2个2度结点，4个3度结点，其余为树叶的无向图中，应该有几片树叶？ (2)画出两棵不同构的满足条件(1)的结点度数的无向树T1,T2. 得 分 评卷人 四、证明题（本题共10分） 16.利用图2（平面图），验证欧拉公式成立. 图2第16题图 13得分|评卷入 三、化简计算题(每小题 0分，共 0分) 11. ...， P)• Q )• « ..., P•P) • R). 12. zQ(y ，x ，z» 八 V yR(y ,z)• ·F(y) 并指出该公式的自由变元和约束变元. 13. 集合 (1) (2)P(A) 包含 14. 集合 {a b， 表达式，并指出 R具有的性质. 4题图 15. (1) 在1 ，4 (2) 件(1) T 2 • 得分|评卷人 四、证明题(本题共 0分) 16. 图2( ，验证欧拉公式成立. 2第 6题图 13