河南工业大学离散数学试卷.docVIP

河南工业大学信息工程学院2009～2010学年第一学期期中测验 离散数学 试卷A卷 考试方式：闭卷　　考试时间：120分钟　　卷面总分：100分 题 号 一 二 三 四 五 总成绩 合分人 得 分 得分 评阅人 一、判断题（将答案填到下面的答题卡中，正确的填“是”，错误的填“否”，本题共10 题，每题 2 分，共 20分） 1 2 3 4 5 6 7 8 9 10 1、“明年5月1日是晴天”，这句话不是命题。 （ ） 2、公式的前束范式是。 （ ） 3、011是公式的成真赋值。 （ ） 4、设R是A={1，2，3，4}上的二元关系,R={1,1,1,2,2,3,3,4},则R的对称闭包s(R)=RR0。 （ ） 5、在命运题逻辑中，任何命题公式的主合取范式都是存在的，并且是惟一的。 （ ） 6、 封闭的公式在任何解释下都变成命题。 ( ) 7、 的层数是3 。 （ ） 8、。 ( ) 9、 设A,B,C是三集合，已知AB＝AC，则一定有B＝C。 ( ) 10、 三种重要的二元关系是等价关系、偏序关系和函数关系，它们的共同特点是都具有自反性 。 ( ) 得分 评阅人 二、单项选择题（将答案填到下面的答题卡中，本题共10 题，每题 2分，共 20分） 1 2 3 4 5 6 7 8 9 10 1、下列公式中哪个不是永真式？( ) A.(┐PQ)→(Q→R) B.P→(Q→Q) C.(PQ)→P D.P→(PQ) 2、设B不含有x，等值于?(???)。 A.? B. C.? ?D. 3、若A-B=Ф，则下列哪个结论不可能正确？( ) A. A=Ф B. B=Ф　 C. AB D. BA 4、判断下列命题哪个为真?( ) A. A-B=B-A = A=B B.空集是任何集合的真子集 C. 空集只是非空集合的子集 D. 若A的一个元素属于B，则A=B 5、设S,T,M是集合，下列结论正确的是（? ?? ）。 A．如果S∪T=S∪M，则T=M B．如果S-T=Φ，则S=T C． D． 6、集合A={1,2,…,10}上的关系R={x,y|x+y=10,x,yA}，则R 的性质为（ ）。 A.自反的　B. 对称的　　C. 传递的，对称的 D. 传递的 7、设R是集合A上的二元关系，IA是上的恒等关系，IAR下面四个命题为真的是?(? ??)。 A．R是自反的??? ? B．R是传递的?? C．R是对称的???? ?D．R是反对称的 8、集合A={1，2，3，4}，则对?A 的元素进行划分正确的是（ ）。 A． {,{1,2},{3,4}} ???B． {{1,2,3,4}} C．{{1},{3,4}}? ???? ???D．{{1,2,3},{3,4}} 9、X={a，b，c，d，e}，Y={1，2，3，4}，f从X到Y的映射，其中f(a)=2, f(b)=4,f(c)=1,f(d)=3,f(e)=4,则f是（　　）。 A.双射 B. 满射 C. 单射 D. 不是单射也不是满射 10、设集合A={a，b，c，d，e}，偏序关系R的哈斯图下图所示，则元素的关系不正确的是（ ）。 A． B． C． D． 得分 评阅人 三、填空题（本题共10 题，每题2 分，共20 分） 1、设P：我生病，Q：我去学校，则命题“只有在生病时，我才不去学校”符号化为： 。 2、设是人，是花，喜欢y，在一