离散数学(西南科技大学)mooc慕课答案2026年版满分测试WYC

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

第五讲 谓词逻辑 （第二部分） 集合论和数理逻辑单元测验

1、 下列句子为真命题的是( )。

A:雪是黑色的，当且仅当5<0
B:自然数中存在最大素数
C:今天天气真好呀
D:只有5<0,雪才是白色的
答案: 雪是黑色的，当且仅当5<0

2、 下列语句是假命题的是( )。

A:如果3是偶数，那么1/3就是有理数
B:只要3是偶数，1/3就是有理数
C:除非1/3是有理数，否则3不是偶数
D:只有3是偶数，1/3才是有理数
答案: 只有3是偶数，1/3才是有理数

3、 设：天下大雨 ：他在室内运动，命题“除非天下大雨，否则他不在室内运动”可符号化为( )。

A:
B:
C:
D:
答案:

4、 设：他聪明，：他成绩好，命题“他虽聪明但成绩不好”可符号化为( )。

A:
B:
C:
D:
答案:

5、 设：他怕困难 ,：他获得成功，命题“只要他怕困难，他就不会获得成功”可符号化为( )。

A:
B:
C:
D:
答案:

6、 设：他怕困难 ,：他获得成功，命题“他只有不怕困难，才能获得成功”可符号化为( )。

A:
B:
C:
D:
答案:

7、 下列式子为重言式的是 ( )。

A:
B:
C:
D:
答案:

8、 下列式子不是永真式的是( )。

A:
B:
C:
D:
答案:

9、 下列命题公式为永假式的是( )。

A:
B:
C:
D:
答案:

10、 下列为两个命题变元，的极小项是( )。

A:
B:
C:
D:
答案:

11、 设论域为,则与公式等价的是( )。

A:
B:
C:
D:
答案:

12、 设论域为整数集，下列谓词公式中真值为假的是( )。

A:
B:
C:
D:
答案:

13、 设论域为整数集，下列谓词公式中真值为真的是( )。

A:
B:
C:
D:
答案:

14、 下列公式中与公式等价的是( )。

A:
B:
C:
D:
答案:

15、 下列公式中与公式等价的是( )。

A:
B:
C:
D:
答案:

16、 下列等价式不正确的是( )。

A:
B:
C:
D:
答案:

17、 命题逻辑中，公式是的逻辑结果当且仅当公式是是( )的。

A:永真
B:永假
C:可满足
D:不可满足
答案: 永真

18、 不是下列哪个集合的子集？( )

A:
B:
C:
D:
答案:

19、 集合的幂集的元素个数为( )。

A:2
B:3
C:4
D:8
答案: 4

20、 下列公式中,( )中的和都既是自由变元又是约束变元。

A:
B:
C:
D:
答案:

21、 下列语句中，是命题的为( )。