离散数学(厦门大学) 慕课答案2026完整版100分

对应课程:点击查看
起止时间:2021-02-28到2021-06-20
更新状态:每5天更新一次

第一部分 数理逻辑 第一单元测试

1、 关于，不正确的是（ ）

A:p是q的充分条件
B:q是p的必要条件
C:q仅当p
D:只有q才有p
答案: q仅当p

2、 p,r真值为1，q,s真值为0，下列公式中真值为1的是（ ）

A:
B:
C:
D:
答案:

3、 下列式子中，不正确的是（ ）

A:
B:
C:
D:

4、 给定F的真值表，则F等值于 （ ）

A:
B:
C:
D:
答案:

5、 设个体域为整数集，则下列谓词公式中真值为假的是 （ ）

A:
B:
C:
D:
答案:

6、 设p,q均为命题，在 ( ) 下，p,q的排斥或也可以写成p,q的相容或.

A:p,q不同时为真
B:等值于1
C:p,q同时为真
D:p,q同时为假
答案: p,q不同时为真;
等值于1

7、 ”说所有火车比所有汽车快是不对的“符号化为 （ ）

A:其中：F(x):x是火车，G(y):y是汽车，H(x,y):x比y快.
B:其中：F(x):x是火车，G(y):y是汽车，H(x,y):x比y快.
C:其中：F(x):x是火车，G(y):y是汽车，H(x,y):x比y快.
D:其中：F(x):x是火车，G(y):y是汽车，H(x,y):x比y快.
答案: 其中：F(x):x是火车，G(y):y是汽车，H(x,y):x比y快.;
其中：F(x):x是火车，G(y):y是汽车，H(x,y):x比y快.

8、 的主合取范式为 ( ).

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

9、 谓词公式的前束范式为 ( ).

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

10、 下列各式中是永真式的是 ( ).

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

11、 设A,B,C为任意的命题公式，若则.

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

12、 是重言式.

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