离散数学题库.docVIP

离散数学试题 一、单项选择题(本大题共15小题每小题1分，共15分) 在每小题列出的四个备选项中只有一个是符合题目要求的，请将其代码填写在题后的括号内。错选、多选或未选均无分1.下列句子为命题的是( ) A.走，看电影去 B.+y0 C.空集是任意集合的真子集 D.你明天能来吗? 2.下列式子不是谓词合式公式的是( ) A(x)(P(x)→((x)(Q(x) ∧A(x，y))) B.()∧((y)∨P(x，) C.(x)P(x)→R(y) D.((x)P(x)∧Q(y，z) 3.下列式子为重言式的是( ) A.PP∨Q B.(﹁PQ)∧(P∨﹁Q) C.﹁ (PQ) D.(P∨Q) (P→Q) 4.设个体域为实数集，特定元素a=0，函数f(x，)=x-y，特定谓词F(x，)为y，下列公式真值为真的是( ) A.(x)(y)F(，f(f(，y)，y)) B.(x)(y)(﹁F(f(，)，x)) C.()(y)(z)(F(x，)→F(f(x，z)，f(，z))) D.(x)F(f(a，)，a) 5.对于公式(x)(y)P(x，)∨Q(x，z)((x)P(x，)，下列说法正确的是( ) A.是自由变元 B.是约束变元 C.( )的辖域是P(x，)∨Q(x，z) D.()的辖域是P(x，) 6.设论域为{1，2}，与公式(x