探秘离散数学章节测试课后答案2024秋

模块一单元测试

1. “2+3=5 当且仅当 19 不是素数”的是真命题。（ ）

A:错 B:对
答案:错


2. 命题公式 qÙØ(p®q)是矛盾式，所以主析取范式不存在。（ ）


A:对 B:错
答案:错


3. 附加前提证明法适用于结论为B®C 的样式，可以把B附加引入当作前提使用。（ ）


A:对 B:错
答案:对

4. 求命题公式Ø(p®q)Ùq 的主合取范式为：M₀ Ù M₁ Ù M₂ Ù M₃ ，则公式类型为（ ）。

A:不确定 B:可满足式 C:矛盾式 D:重言式
答案:矛盾式


5. 常用证明命题推理是否正确的方法有（ ）。


A:主析取范式法 B:等值演算法 C:真值表法 D:构造证明法
答案:主析取范式法###等值演算法###真值表法###构造证明法

• «
• 1
• 2
• 3
• 4
• 5
• 6
• 7
• 8
• 9
• 10
• »