离散数学-复习题.docVIP

离散数学试题1 一、单项选择题 在每小题列出的四个备选项中只有一个是符合题目要求的，请将其代码填写在题后的括号内。错选、多选或未选均无分。 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.设论