大学MOOC 离散数学(上海建桥学院)1452756175 最新慕课完整章节测试答案

单元测验-数理逻辑

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: