大学MOOC 离散数学(云南财经大学)1456124166 最新慕课完整章节测试答案
第五讲谓词逻辑第二部分
补测
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、单选题：
下列语句中，是命题的为( )。
选项：
A: 大学生是国家的栋梁当且仅当猫会捉老鼠
B: 请不要虐待动物！
C: 地震可怕吗？
D: f(x)＝9
答案: 【 大学生是国家的栋梁当且仅当猫会捉老鼠】
22、单选题：
量词的约束范围称为量词的( )。
选项：
A: 定义域
B: 个体域
C: 辖域
D: 值域
答案: 【 辖域】
23、单选题：
是一个空集，则下列哪一个不成立?( )。
选项：
A: 
B: 
C: 
D: 
答案: 【 】
24、单选题：
谓词逻辑的推理中,
使用的是( )。
选项：
A: ES规则
B: US规则
C: UG规则
D: EG规则
答案: 【 US规则】
25、单选题：
设
，
，则公式
是( )。
选项：
A: 有效公式
B: 矛盾公式
C: 可满足公式
D: 以上都不是
答案: 【 可满足公式】
26、单选题：
设
是人，
与一样高，则命题“人都不一样高”的符号化形式为( )。
选项：
A: 
B: 
C: