大学MOOC 离散数学(西北工业大学)1450402199 最新慕课完整章节测试答案

单元测验-数理逻辑

1、单选题：
‌下列（  ）那些运算符都是可交换的‌
选项：
A:
B:
C:
D:
答案: 【 】

2、单选题：
​设P：2×2=5，Q：雪是黑的，R：2×4=8，S：太阳从东方升起，下列（ ）命题的真值为真。‍
选项：
A:
B:
C:
D:
答案: 【 】

3、单选题：
‍全体小项合取式为（ ）。‍
选项：
A: 可满足式
B: 矛盾式
C: 永真式
D: A，B，C都有可能
答案: 【 矛盾式】

4、单选题：
‌下列哪些公式为永真蕴含式（ ）。​
选项：
A:
B:
C:
D:
答案: 【 】

5、单选题：
​令p：今天下雪了，q：路滑，则命题“虽然今天下雪了，但是路不滑”可符号化为‍
选项：
A:  p∧┐q
B: p∨┐q
C: p∧q
D: p→┐q
E: ┐p→q
答案: 【  p∧┐q 】

6、单选题：

‏对一阶逻辑公式的说法正确的是(    )。

‍选项：
A: x是约束的，y是约束的，z是自由的
B: x是约束的，y既是约束的又是自由的，z是自由的
C: x是约束的，y既是约束的又是自由的，z是约束的
D: x是约束的，y是约束的，z是约束的
答案: 【 x是约束的，y既是约束的又是自由的，z是自由的】

7、单选题：
‎设个体域为有理数集Q，则以下谓词公式中为假的是（）。‌
选项：
A:
B:
C:

D:
答案: 【 】

8、单选题：
“人总是要死的”谓词公式表示为（  ）。‏（论域为全总个体域）M(x)：x是人；Mortal(x)：x是要死的。‏​‏
选项：
A:
B:
C:
D:
答案: 【 】

9、单选题：
‏设B不含有x，下列一阶逻辑等值式不正确的是​
选项：
A:
B:
C:
D:
答案: 【 】

10、单选题：
下列是命题公式p∧(q∨┓r)的成真赋值的是(    )‏​‏
选项：
A: 110，111，100
B: 110，101，011
C: 所有赋值
D: 无
答案: 【 110，111，100】

11、多选题：
‎下列语句是命题的有（  ）。‌
选项：
A: 明年中秋节的晚上是晴天。
B: x+y>0。
C: xy>0 当且仅当 x 和 y 都大于0。
D: 我正在说谎。
答案: 【 明年中秋节的晚上是晴天。;
xy>0 当且仅当 x 和 y 都大于0。】

12、多选题：

‏若和B为wff，且则（   ）。

​选项：
A: 称为B的前件
B: 称B为的有效结论
C: 当且仅当
D: 当且仅当
答案: 【 称B为的有效结论;
当且仅当