大学MOOC 离散数学(陕西学前师范学院)1452143199 最新慕课完整章节测试答案
第四讲 谓词逻辑 （第一部分）
谓词逻辑练习01
1、单选题：
公式
中，（ ）仅是自由变元。
A. x B. y C. z D. 不存在
选项：
A: C
B: A
C: B
D: D
答案: 【 C】
2、单选题：
公式中，（ ）仅是约束变元。
A. x B. y C. z D. 不存在
选项：
A: A
B: B
C: C
D: D
答案: 【 A】
3、单选题：
公式中，（ ）仅是即是自由变元又是约束变元。
A. x B. y C. z D. 不存在
选项：
A: A
B: B
C: C
D: D
答案: 【 B】
4、单选题：
下列公式中（ ）是矛盾式
A. 
B. 
C.
D. 
选项：
A: A
B: B
C: C
D: D
答案: 【 A】
5、多选题：
下列公式中（ ）是有效式
A.
B.
C.
D.
选项：
A: A
B: B
C: C
D: D
答案: 【 A;
B;
C】
6、判断题：
是公式。
选项：
A: 正确
B: 错误
答案: 【 错误】
7、判断题：
不是公式
选项：
A: 正确
B: 错误
答案: 【 正确】
8、判断题：
设个体域
，则
.
选项：
A: 正确
B: 错误
答案: 【 正确】
9、判断题：
设个体域，则
.
选项：
A: 正确
B: 错误
答案: 【 正确】
第五讲 谓词逻辑 （第二部分）
集合论和数理逻辑单元测验
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: