2022知到答案 离散数学（武汉科技大学） 最新完整智慧树知到满分章节测试答案

第一章 单元测试

1、 问题:若P：天下雨；Q：他来了；则“虽然天下雨，他还是来了”，可符号化为( )
选项：
A:P∨Q
B:P∧Q
C:P→Q
D:P∨┐Q
答案: 【
P∧Q
】

2、 问题:以下命题公式中，为永真式的是( )
选项：
A:P∧(P∨Q∨R)
B:(P→┐P)→┐P
C:┐(Q→Q∧P)
D:(Q∨┐P)→(P∧┐P)
答案: 【
(P→┐P)→┐P
】

3、 问题:命题公式的能成真赋值的P,Q的值为（ ）
选项：
A:00
B:01
C:10
D:11
答案: 【
00
01
11
】

4、 问题:命题公式的能成假赋值的P,Q的值为（ ）
选项：
A:00
B:01
C:10
D:11
答案: 【
00
01
10
】

5、 问题:G=P→(P∧(Q→P))主析取范式中所含的极大极小项有（ ）
选项：
A:¬P∧¬Q
B:¬P∧Q
C:P∧¬Q
D:P∧Q
E:¬P∨¬Q
F:¬P∨Q
G:P∨¬Q
H:P∨Q
I:无
答案: 【
¬P∧¬Q
¬P∧Q
P∧¬Q
P∧Q
】

6、 问题:G=P→(P∧(Q→P))主合取范式中所含的极大极小项有（ ）。
选项：
A:¬P∧¬Q
B:¬P∧Q
C:P∧¬Q
D:P∧Q
E:¬P∨¬Q
F:¬P∨Q
G:P∨¬Q
H:P∨Q
I:无
J:此项必选
答案: 【
无
此项必选
】

7、 问题:(P→Q)∧Q的主合取范式中所含的极大极小项有（ ）。
选项：
A:¬P∨¬Q
B:¬P∨Q
C:P∨¬Q
D:P∨Q
E:¬P∧¬Q
F:¬P∧Q
G:P∧¬Q
H:P∧Q
I:无
答案: 【
¬P∨Q
P∨Q
】

8、 问题:(P→Q)∧Q的主析取范式中所含的极大极小项有（ ）。
选项：
A:¬P∨¬Q
B:¬P∨Q
C:P∨¬Q
D:P∨Q
E:¬P∧¬Q
F:¬P∧Q
G:P∧¬Q
H:P∧Q
I:无
答案: 【
¬P∧Q
P∧Q
】

9、 问题:设前提集合Γ={P∨Q, R∧S, ┐Q},公式G=P∧S,，证明Γ=＞G。
证明：
（1）┐Q P
（2）P∨Q P
（3） T,1),2),I
（4）R∧S P
（5） T,4），I
（6）P∧S T,3),5),I
按顺序选出(3）和(5）处应该填的内容（ ）
选项：
A:P
B:¬P
C:S
D:R
答案: 【
P
S
】

10、 问题:

使用演绎法构造下列推理的证明。

按顺序选出（3），（5），（6）处应该填的内容。

选项：
A:

B:

C:

D:

E:

F:

答案: 【

】

第二章 单元测试

1、 问题:的否定式是( ).
选项：
A:
B:
C:(
D:.
答案: 【

】

2、 问题:谓词公式(x)(P(x))→(z)Q(x,z)∧(y)R(x,y)中变元y( )
选项：
A:是自由变元但不是约束变元
B:既不是自由变元又不是约束变元
C:既是自由变元又是约束变元
D:是约束变元但不是自由变元
答案: 【
是约束变元但不是自由变元
】

3、 问题:设：是鸟，：会飞，命题“没有不会飞的鸟”符号化为( )
选项：
A:
B:
C:
D:
答案: 【

】

4、 问题:谓词公式设是永真的. （ ）
选项：
A:对
B:错
答案: 【
错
】

5、 问题:设个体域是整数集合，P代表，P是假命题. （ ）
选项：
A:对
B:错
答案: 【
对
】

6、 问题:下列公式是前束范式的是（ ）
选项：
A:
B:
C:
D:
答案: 【

】

7、 问题:下述推理证明过程中，正确的是（ ）。
选项：
A:
B:
C:
D:
答案: 【

】

8、 问题:以下谓词推理不正确的是（ ）
选项：
A:
B:
C:
D:
答案: 【

】

9、 问题:下列推理式不正确的是（ ）
选项：
A:
B:
C:
D:
答案: 【

】

10、 问题:

以下谓词推理说法正确的是（   ）。

选项：
A:

B:

C:

D:

答案: 【

】

第三章 单元测试

1、 问题:自然数集上的小于关系的逆关系为（ ）
选项：
A:大于等于关系
B:大于关系
C:不等于关系
D:无法确定
答案: 【
大于关系
】