离散数学智慧树知到答案章节测试2023年武汉科技大学 .pdfVIP

第一章测试 1. 若P：天下雨；Q：他来了；则“虽然天下雨，他还是来了”，可符号化为( ) A:P∧Q B:P→Q C:P∨┐Q D:P∨Q 答案:A 2. 以下命题公式中，为永真式的是( ) A:(Q∨┐P)→(P∧┐P) B:(P→┐P)→┐P C:┐(Q→Q∧P) D:P∧(P∨Q∨R) 答案:B 3. 命题公式的能成真赋值的P,Q 的值为（） A:11 B:01 C:10 D:00 答案:ABD 4. 命题公式的能成假赋值的P,Q 的值为（） A:10 B:00 C:11 D:01 答案:ABD 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:无 答案:ABEH 6. G=P→(P∧(Q→P))主合取范式中所含的极大极小项有（）。 A:P∧Q B:无 C:¬P∧Q D:此项必选 E:P∨¬Q F:P∧¬Q G:¬P∨¬Q H:¬P∨Q I:P∨Q J:¬P∧¬Q 答案:BD 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 答案:BD 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 答案:BD 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:S C:R D:P 答案:BD 10. 使用演绎法构造下列推理的证明。按顺序选出（3），（5），（6）处应该 填的内容。 A: B: C: D: E: F: 答案:ABC 第二章测试 1. 的否定式是( ). A:. B:( C: D: 答案:C 2. 谓词公式(x)(P(x))→(z)Q(x,z)∧(y)R(x,y)中变元y( ) A:是自由变元但不是约束变元 B:既不是自由变元又不是约束变元 C:是约束变元但不是自由变元 D:既是自由变元又是约束变元 答案:C 3. 设：是鸟，：会飞，命题“没有不会飞的鸟”符号化为( ) A: B: C: D: 答案:D 4. 谓词公式设是永真的. （） A:错 B:对 答案:A 5. 设个体域是整数集合，P代表，P是假命题. （） A:对 B:错 答案:A 6. 下列公式是前束范式的是（ ） A: B: C: D: 答案:D 7. 下述推理证明过程中，正确的是（ ）。