12. 13. 14. 15. 16. 17. 18.
19. 20. 21. 22. 23. 24. 25. 26.
27. 28. 29. 30.
三.判断题
1. “如果1+2=3，则4+5=9。”是真命题。（ ）
2. 约束变元换名时，一定要更改为作用域中没有出现的变元名称。（ ） 3.
4. 简单命题函数由一个谓词和一些客体变元组成。（ ）
5. 单独一个谓词，不是完整的命题。（ ）
6. 任意一个谓词公式均和一个前束范式等价。（ ） 7. 8. 9. 10.
11. 12. 13. 14. 15.
四.计算题 1. 2. 3. 4. 5. 6. 7. 8. 9. 10.
五.证明题 1. 2. 3. 4.
第3章
一.填空题
1. 设A={<1,2>,<2,4>,<3,3>},B={<1,3>,<2,4>,<4,2>},则A∪B=_________________。
2. A，B，C表示三个集合，图中阴影部分的集合表达式为____________________。
3. 设A={<1,2>,<2,4>,<3,3>},B={<1,3>,<2,4>,<4,2>},则A°B=_______________。
4. 设A={1，2，3，4}，A上二元关系R={<1，2>，<2，1>，<2，3>，<3，4>}画出R的关系图_
________________。