离散数学结构试题集

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.