2026知到答案 离散数学（山东联盟）（泰山学院） 最新智慧树满分章节测试答案

第二章 单元测试

1、判断题：
设L(x,y):x大于y，则L(x,y)是一个命题。 （ ）
选项：
A:错
B:对
答案: 【错】

2、判断题：
在一阶逻辑中将命题符号化时，针对不同的个体域，同一个命题符号化之后的结果可能相同也可能不同。 （ ）
选项：
A:错
B:对
答案: 【对】

3、多选题：
给定解释N如下：

在解释N下，下面公式中真命题有（ ）。
选项：
A:

B:

C:

D:

答案: 【
;

】

4、多选题：
下列公式中，逻辑有效式是（ ）。
选项：
A:

B:

C:

D:

答案: 【
;

】

5、判断题：
在一阶逻辑中，任何合式公式都存在与之等值的前束范式，并且前束范式是唯一存在的。（ ）
选项：
A:对
B:错
答案: 【错】

6、单选题：
每列火车都比某些汽车快。，则该命题符号化为（ ）
选项：
A:

B:

C:

D:

答案: 【
】

7、多选题：
给定解释I如下：

下列公式为真的是（ ）
选项：
A:

B:

C:

D:

答案: 【
;

;

】

8、多选题：
，请问哪几个正确（ ）
选项：
A:

B:

C:

D:

答案: 【
;

】