大学MOOC 离散数学(湖南文理学院)1452783162 最新慕课完整章节测试答案

单元测验-数理逻辑

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 ;
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为的有效结论;
当且仅当】

13、判断题：
‍命题“存在一些人是大学生”的否定是：“所有人都不是大学生”‍
选项：
A: 正确
B: 错误
答案: 【