2010年7月全国自考离散数学试题.pdfVIP

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．下列式子为重言式的是 （D） A．(┐P∧R)→Q B．P∨Q∧R→┐R C．P∨(P∧Q) D．(┐P∨Q)(P→Q) 4．在指定的解释下，下列公式为真的是 （A） A．(x)(P(x)∨Q(x)),P(x):x=1,Q(x):x=2,论域:{1,2} B．(x)(P(x)∧Q(x)