2009年07月自学考试02324《离散数学》真题.pdfVIP

全国 2009 年 7 月高等教育自学考试 离散数学 试题 课程代码：02324 一、单项选择题(本大题共 15 小题，每小题 1 分，共 15 分) 在每小题列出的四个备选项中只有一个是符合题目要求的，请将其代码填写在题后的括号内。错选、 多选或未选均无分。 1.下列句子为命题的是( ) A.走，看电影去 B.x+y0 C.空集是任意集合的真子集 D.你明天能来吗? 2.下列式子不是谓词合式公式的是( ) A.(  x)(P(x)→(x)(Q(x) ∧A(x，y))) B.(  x)∧(y)∨P(x，y) C.( x)P (x)→R(y) D.(x)P(x)∧Q(y，z) 3.下列式子为重言式的是( ) A.P→P∨Q B.(﹁P∧Q)∧(P∨﹁Q) C.﹁ (P Q) D.(P∨Q) (P→Q) 4.设个体域为实数集，特定元素 a=0，函数 f(x，y)=x-y，特定谓词F(x，y)为 xy，下列公式真值为真的 是( ) A.(  x)( y)F(x，f(f(x，y)，y)) B.(  x)( y)(﹁F(f(x，y)，x)) C.( x)( y)( z)(F(x，y)→F(f(x，z)，f(y，z))) D.(  x)F(f(a，x)，a) 5.对于公式 ( x)( y)P(x，y)∨Q(x，z)∧(x)P(x，y)，下列说法正确的是( ) A.x 是自由变元 B.x 是约束变元 C.(  x)的辖域是P(x，y)∨Q(x，z) D.(  x)的辖域是P(x，y) 6.设论域为{1，2}，与公式( x)﹁A(X)等价的是 ( ) A. ﹁A(1) ∨﹁A(2) B. ﹁A(1)→﹁(A2) C. ﹁A(1) ∧﹁A(2) D. A(1) →A(2) + + + + m 7.设 Z 是正整数集，f：Z ×Z →Z ，f(n，m)=n ，则 f( ) A.仅是入射 B.仅是满射 C.是双射 D.不是函数 8.下列哪个关系矩阵所对应的关系具有自反性( ) 1 0 1  1 0 0     A. 1 1 1 B. 0 1 1     1 0 0   1 0 1      0 0 1  1 0 1     C. 0 0 1 D. 0 1 0      1 0 0   1 0 0    