大学MOOC 离散数学(江西理工大学应用科学学院)1450294407 最新慕课完整章节测试答案

数理逻辑单元测验修订版

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、单选题：
‌命题逻辑演绎的CP规则为（  ）。​
选项：
A: 在推演过程中可随便使用前提；
B: 在推演过程中可随便使用前面演绎出的某些公式的逻辑结果；
C: 如果要演绎出的公式为形式，那么将B作为前提，设法演绎出C；
D: 设是含公式A的命题公式，，则可用B替换中的A。
答案: 【 如果要演绎出的公式为形式，那么将B作为前提，设法演绎出C；】

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

10、多选题：

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

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

11、判断题：
​命题“存在一些人是大学生”的否定是：“所有人都不是大学生”‌