离散结构(苏州科技大学天平学院)mooc慕课答案2026年版满分测试WYC

对应课程:点击查看
起止时间:2020-02-24到2020-06-30
更新状态:已完结

命题逻辑 单元测验

1、 一个命题含有4个原子命题，则对其所有可能的赋值有（ ）种

A:8
B:16
C:32
D:64
答案: 16

2、 设P：它占据空间，Q：它有质量，R：它不断运动，S：它叫做物质。命题“占据空间的，有质量的而且不断运动的叫做物质”符号化为 ( )

A:
B:
C:
D:
答案:

3、 设P，Q 的真值为0，R，S的真值为1，则的真值为 ( )

A:0
B:1
C:未知
D:不确定
答案: 1

4、 公式 的主合取范式为 ( )

A:
B:
C:
D:
答案:

5、 若公式的主析取范式为，则它的主合取范式为 ( )

A:
B:
C:
D:
答案:

6、 命题公式 中成真赋值`的个数为（ ）

A:0
B:1
C:2
D:3
答案: 3

7、 的主析取范式中含极小项的个数为 ( )

A:2
B:3
C:5
D:0
E:8
答案: 5

8、 公式的对偶公式为 ( )

A:
B:
C:
D:
答案:

9、 命题逻辑演绎的CP规则为 ( )

A:在推演过程中可随便使用前提
B:在推演过程中可随便使用前面演绎出的某些公式的逻辑结果
C:如果要演绎出的公式为形式，那么将B作为前提，设法演绎出C
D:设是含公式A的命题公式，，则可用B替换中的A
答案: 如果要演绎出的公式为形式，那么将B作为前提，设法演绎出C

10、 求的主合取范式为 ( )

A:
B:
C:
D:
答案:

11、 下列语句是命题的有 ( )

A:明年中秋节的晚上是晴天
B:x+y>0
C:火星上存在有生物
D:我正在说谎
E:你打算考硕士研究生吗？
答案: 明年中秋节的晚上是晴天;
火星上存在有生物

12、 下列各命题中真值为真的命题有 ( )

A:当且仅当3是奇数
B:当且仅当3不是奇数
C:当且仅当3是奇数
D:当且仅当3不是奇数
答案: 当且仅当3是奇数;
当且仅当3不是奇数

13、 下列表达式正确的有 ( )

A:
B:
C:
D:
答案: ;

14、 P：你努力，Q：你失败。“除非你努力，否则你将失败”的翻译为（ ）；“虽然你努力了，但还是失败了”的翻译为（ ）

A:
B:
C:
D:
答案: ;

15、 在下述公式中是重言式的为 ( )

A:
B:
C:
D:
答案: ;
;

16、 下列等价式成立的有 ( )

A:
B:
C:
D:
答案: ;

17、 P，Q真值为0 ；R，S真值为1。则的真值为0

A:正确
B:错误
答案: 错误

18、 公式的主合取范式为：

A:正确
B:错误
答案: 正确

19、 全体极小项的合取式一定是永真式。

A:正确
B:错误
答案: 错误

20、 若P，Q为两个命题，真值为1 当且仅当P真值为0，Q的真值为1。

A:正确
B:错误
答案: 错误

21、 已知命题P、Q的真值为1，命题R的真值为0，则复合命题：的真值为1。

A:正确
B:错误
答案: 错误

谓词逻辑 单元测验

1、 下列各式中不成立的是 ( )

A:
B:
C:
D:
答案:

2、 谓词公式中的 x是 ( )

A:自由变元
B:约束变元
C:既是自由变元又是约束变元