- 9
- 0
- 约2.7千字
- 约 7页
- 2016-12-04 发布于重庆
- 举报
2010年7月自考離散数学试题及答案
全国2010年7月自学考试离散数学试题
课程代码:02324
一、单项选择题(本大题共15小题,每小题1分,共15分)
在每小题列出的四个备选项中只有一个是符合题目要求的,请将其代码填写在题后的括号内。错选、多选或未选均无分。
1.下列句子不是命题的是( D )
A.中华人民共和国的首都是北京 B.张三是学生
C.雪是黑色的 D.太好了!
2.下列式子不是谓词合式公式的是( B )
A.(?x)P(x)→R(y)
B.(?x) ┐P(x)?(?x)(P(x)→Q(x))
C.(?x)(?y)(P(x)∧Q(y))→(?x)R(x)
D.(?x)(P(x,y)→Q(x,z))∨(?z)R(x,z)
3.下列式子为重言式的是( )
A.(┐P∧R)→Q B.P∨Q∧R→┐R
C.P∨(P∧Q) D.(┐P∨Q)?(P→Q)
4.在指定的解释下,下列公式为真的是( )
A.(?x)(P(x)∨Q(x)),P(x):x=1,Q(x):x=2,论域:{1,2}
B.(?x)(P(x)∧Q(x)),P(x):x=1,Q(x):x=2,论域: {1,2}
C.(?x)(P(x) →Q(x)),P(x):x2,Q(x):x=0,论域:{3,4}
D.(?x)(P(x)→Q(x)),P(x):x2,Q(x):x=0,论域:{3,4}
5.对于公式(?x) (?y)(P(x)∧Q(y))→
原创力文档

文档评论(0)