智慧树离散数学（武汉科技大学）答案(知到2023年完整答案)

点击查看答案

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

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

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

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

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

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

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

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

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

10、多选题：
使用演绎法构造下列推理的证明。按顺序选出（3），（5），（6）处应该填的内容。
选项：
A:

B:

C:

D:

E:

F:

答案:【

;

;

】