20177自学离散数学试题.docVIP

全国2010年7月高等教育自学考试 离散数学试题 课程代码：02324 一、单项选择题（本大题共15小题，每小题1分，共15分） 在每小题列出的四个备选项中只有一个是符合题目要求的，请将其代码填写在题后的括号内。错选、多选或未选均无分。 1．下列句子不是命题的是（　　　） A．中华人民共和国的首都是北京 B．张三是学生 C．雪是黑色的 D．太好了！ 2．下列式子不是谓词合式公式的是（　　　） 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(