离散数学答案2023

第三章测试

1.一阶逻辑的基本构成不包括（ ）。
A:量词
B:个体词
C:动词
D:谓词

答案:C
2.下列属于正确的一阶逻辑公式的是（ ）。
A:
B:
C:
D:
3.下列属于正确一阶逻辑前束范式的是（ ）。
A:
B:
C:
D:
4.下列属于0元谓词常项的是（ ）。
A:x和y是好朋友
B:我的梦想是x和y
C:小明的父亲的篮球技术非常厉害
D:我和你的年龄差是x
5.

关于一阶逻辑中的量词推理规则，不包括下列哪一种规则（ ）。

A:全称量词引入规则
B:全称量词消去规则
C:存在量词复制规则
D:存在量词引入规则