离散数学B卷及答案.doc

武汉理工大学 离散数学考试试题 (B卷) 站点： 姓名： 专业： 层次一、单项选择题（本大题共15小题，每小题1分，共15分）在每小题列出的四个备选项中只有一个是符合题目要求的，请将其代码填写在题后的括号内。错选、多选或未选均无分。1令P：今天下雪了，Q：路滑，则命题“虽然今天下雪了，但是路不滑”可符号化为（）APQBPQCPQDPQ2下列命题公式为重言式的是（）AQ（PQ）BP（PQ）C（PQ）PD（PQ）Q3下列4个推理定律中，不正确的是（）AA（AB）B（AB）ABC（AB）ABD（AB）BA4谓词公式x(P(x)yR(y)Q(x)中量词的辖域是（）ABP（x）C(P(x)yR(y)DP(x), Q(x)5设个体域A=a,b，公式xP(x)xS(x)在A中消去量词后应为（）AP(x)S(x)BP(a)P(b)