离散结构(厦门理工学院)mooc慕课答案2026年版满分测试WYC

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

命题逻辑 单元测验

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