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.