安工大离散数学试卷(共5页).docx

精选优质文档-倾情为你奉上200 9-2010 学年第一学期期末考试离散数学B 试卷（A）一单项选择题(每题2分，共30分)1下列命题公式中不是重言式的是（）A. (PQ)(QR) B. P(QQ) C. (PQ)P D. P(PQ)2在0（ ）之间写上正确的符号。A. = B. C. D. 3设个体域是整数集，则下列命题的真值为真的是（）A.x$y (xy=y) B. $xy(x+y=y)C.$xy(x+y=x) D. x$y(y=2x) 4关于谓词公式（x）(y)(P(x,y)Q(y,z)(x)p(x,y),下面的描述中错误的是（）A（x）的辖域是（y）（P（x,y）Q(y,z)）Bz是该谓词公式的约束变元C（x）的辖域是P（x,y）Dx是该谓词公式的约束变元5设论域D=a,b，与公式(x)A（x）等价的命题公式是（）A