离散数学(厦门大学) mooc慕课答案2026年版满分测试

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

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

答案: q仅当p

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

答案:

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

答案:

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

答案:

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

答案:

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

答案: p,q不同时为真;
等值于1

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

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

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

答案: ;

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

答案: ;
;

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

答案: ;

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

答案: 错误

12、 是重言式.

答案: 正确

13、 一个命题公式可以有多个与之等值的析取范式，但其主析取范式唯一.

答案: 正确

14、 中的辖域是,是闭式.

答案: 错误

15、 在连续的符号化为.

答案: 正确

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

1、 设p：我们正在听课，q：我们正在睡觉，则命题“我们不能睡着觉听课”符号化为‍

答案:

2、 设个体域D是整数，则下列公式真值为1的是

答案:

3、 给定命题公式:与之等值的是

答案:

4、 设个体域D={a,b}，则公式消去所有的量词应为

答案:

5、 下列命题不成立的是

答案: 若，则。

6、 公式的成真赋值为

答案: ;

7、 设p表示“天下大雨”，q表示“他在室内运动”，将命题“除非天下大雨，否则他不会在室内运动”符号化为

答案: ;

8、 若命题公式A(p,q,r)的成假赋值为000,010,110，则其主范式为

答案: ;

9、 下列各选项是的前束范式的是

答案: ;

10、 下列公式是永真式的是

答案: ;
;

11、 “请把门打开！”这句话是命题。

答案: 错误

12、  是重言式。

答案: 正确

13、 A为重言式当且仅当A的主析取范式不含任何极小项。

答案: 错误

14、 谓词公式中无任何自由变元，是闭式。‍

答案: 错误

15、 P(x)是含自由出现的个体变项x的公式，Q不含x的出现，则。 

答案: 错误