计算机学院 离散数学(上)b卷和参考答案及评分标准.pdfVIP

《离散数学（上）》考 卷（B卷） （时间120分钟） 院/系 专业 姓名 学号 题 号 一 二 三 四 五 总分 得 分 一、单选题（每小题2分，共20分） 得 分 1. 若P：他聪明；Q：他用功；则“他虽聪明，但不用功”，可符号化为( ) A.P∨Q B.P∧┐Q C.P→┐Q D.P∨┐Q D{a,b} F(a,a)F(a,b)0 F(b,a)F(b,b)1 2. 设个体域为 , , ,则下列公式为真的是( ） A. xyF(x,y)； B. xyF(x,y)；