MOOC 离散数学(河北工业大学)1450160201 最新慕课完整章节测试答案
第五讲 谓词逻辑 (第二部分)
集合论和数理逻辑单元测验
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、单选题:
命题逻辑中,公式是