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)),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))→(x)R(x,y)，下列说法正确的是 （C） A．y 是自由变元 B．y 是约束变元 C．(x)的辖域是R(x, y) D. (x)的辖域是(y)(P(x)∧Q(y))→(x)R(x,y) 6．设论域为{1,2}，与公式(x)A(x)等价的是 （C） A．A(1)∨A(2) B．A(1)→A(2) C．A(1)∧A(2) D．A(2)→A(1) + + 7．设Z 是正整数集，R 是实数集，f:Z →R, f(n)=log n ,则f （A） 2 1 / 6 A．仅是入射 B．仅是满射 C．是双射 D．不是函数 8．下列关系矩阵所对应的关系具有反对称性的是 （B） 1 0 1 1 0 0 0 0 1 1 0 1         A．0 1 1 B．0 1 1 C．0 0 1 D．0 1 0         1 0 0 1 0 1 1 0 0 1 0 0 9．设R 和R 是集合A 上的相容关系，下列关于复合关系R R 的说法正确的是 （D） 1 2 1 2 A．一定是等价关系 B．一定是相容关系 C．一定不是相容关系 D．可能是也可能不是相容关系 10．下列运算不满足交换律的是 （A） ．．． A．a*b=a+2b B．a*b=min(a,b) C．a*b=|a-b|