2022知到答案 离散数学（山东联盟-青岛理工大学） 最新完整智慧树知到满分章节测试答案

第一章 单元测试

1、 问题:

令p：我们划船。 q：我们跑步。命题“我们不能既划船又跑步”符号化为（   ）。 

选项：
A:
B:
C:
D:
答案: 【

】

2、 问题:

下面哪个语句是真命题？

选项：
A:我只知道一件事，那就是我什么都不知道。
B:如果1+2=3，那么雪是黑的。
C:如果1+2=3，那么雪是白的。
D:严禁吸烟。
答案: 【
如果1+2=3，那么雪是白的。
】

3、 问题:

令p：我将去镇上。 q：我有时间。命题“我将去镇上，仅当我有时间”符号化为（  ）。

选项：
A:
B:
C:
D:
答案: 【


】

4、 问题:

n个命题变元可以产生（     ）个具有不同真值的命题公式。

选项：
A:
B:
C:
D:
答案: 【

】

5、 问题:命题公式是（     ）。
选项：
A:重言式
B:矛盾式
C:非重言式的可满足式
D:不能确定
答案: 【
重言式
】

6、 问题:

下面命题公式中，（     ）与等值。

选项：
A:

B:

C:

D:

答案: 【

】

7、 问题:

下面联结词集中，不是联结词完备集的是（    ）。

选项：
A:
B:
C:
D:
答案: 【

】

8、 问题:

若公式的主析取范式是 ，则其主合取范式是（    ）。

选项：
A:
B:
C:
D:
答案: 【

】

9、 问题:

设A、C为两个命题公式，当且仅当（    ）为重言式时，称C可由A逻辑地推出。

选项：
A:
B:
C:
D:
答案: 【

】

10、 问题:

下列推理定理中，（   ）是不正确的。

选项：
A:
B:
C:
D:
答案: 【

】

第二章 单元测试

1、 问题:

设C(x)：x是国家足球队选手。G(x)：x是健壮的。命题“没有一个国家足球队选手不是健壮的”可符号化为（   ）。 

选项：
A:
B:
C:
D:
答案: 【

】

2、 问题:

设L(x)：x是人。 J(x)：x是花。 A(x,y)：x喜欢y。 命题“有的人喜欢所有的花”符号化为（    ）。

选项：
A:

B:

C:

D:

答案: 【

】

3、 问题:

谓词公式中，量词的辖域是（        ）。

选项：
A:

B:

C:

D:

答案: 【

】

4、 问题:

 设论域为整数集，下列公式中值为真的是（        ）

选项：
A:
B:
C:
D:
答案: 【

】

5、 问题:

设个体域A={a, b}， 公式在A上消去量词后应为（        ）

选项：
A:
B:
C:
D:
答案: 【

】

6、 问题:

下列谓词公式中，(     )是等值的。

选项：
A:
B:
C:
D:
答案: 【

】

7、 问题:

下列谓词公式中，是逻辑有效式的是（    ）。

选项：
A:
B:
C:
D:
答案: 【

】

8、 问题:

下列各式中哪个是正确的？

选项：
A:
B:
C:
D:
答案: 【

】

9、 问题:

下列推理步骤错在(      )。

①         P

②                 ①US

③                              P

④                                  ③ES

⑤                                 ②④假言推理

⑥                             ⑤EG

 

选项：
A:②
B:④
C:⑤
D:⑥
答案: 【
④
】

10、 问题:

下列推导错在(     )。

①      P

②         ①US

③                  ②ES

④         ③UG

选项：
A:②
B:④
C:③
D:无
答案: 【
③
】

第三章 单元测试

1、 问题:

设A={a, b}，则P（A）×A = (      )。

选项：
A:A
B:P(A)
C:
D:
答案: 【

】