离散数学试卷.docVIP

第 PAGE 2 页 共 NUMPAGES 5页 离散数学试卷 一、选择题（1～15是单选，16～20是多选，单选每小题1分，多选每小题2分，共计25分） 1.下列公式中，那一个是永假的（ ）。 A、(P∧Q)→P B、(P∨Q)→P C、 P→(P∨Q) D、((P∧Q)→Q） 2.下列公式中，哪一个不是析取范式（ ）。 A、P∨Q B、P∧Q C、(P∨Q) D、(P∧Q) 3、如果命题公式G=P∧Q，则下列之一哪一个等价（）。 A、G=(P→Q) B、G=( P∨Q) C、G=(P→Q) D、G=(P→Q) 4、设X、Y是两个集合|X|＝m，|Y|＝n，则从X到Y可产生（）个不同的函数。 A、nm B、mn C、m×n D、2m× 5、设G是具有n个结点的有向完全图，则G中有（ ）条边。 A、n2 B、n(n－1) C、2n(n－1) D、 6、下列公式中，是永真式的是( )。 A、P∨1 B、P→T C、P∨T D、P∧T 7、下列公式中，（）是析取范式。 A、(P∧Q) B、(P∨Q) C、(P∨Q) D、(P∧Q) 8、下面哪一种格不是特殊格（ ）。 A、子格 B、分配格 C、模格 D、有界格 9、5个结点7条边的简单图共有（ ）种。 A、2 B、3 C、5 D、 10、下列图中，（）是平面图。 A、 B、 C、 D、 11、每个无向树至少有（）片树叶。 A、1 B、2 C、3 D、4 12、每个无限循环群有（）个生成元。 A、1 B、2 C、3 D、4 13、设R是集合A＝{1,2,3}上的二元关系，R＝{2,1,2,3,1,3},则下列（）不成立。 A、R是自反关系 B、R是反自反关系 C、R是反对称关系 D、R是传递关系 14、设G是一个18阶群，a是G中任意一个元素，则a的周期一定不是（）。 A、2 B、4 C、9 D、6 15、命题公式A与B是等价的，是指（D）。 A、A与B有相同的原子变元 B、A与B是可满足的 C、当A的真值为真时，B的真值也为真 D、A与B有相同的真值 16、设R、S是集合A上的关系，则下述（ ）不一定成立。 A 若R、S传递，则传递 B 若R、S对称，则对称 C 若R、S自反，则自反 D 若R、S反自反，则反自反 5142376E 若 5 1 4 2 3 7 6 17、下列图中，那些是右图的强分图。（） 1423 1 4 2 3 1 4 2 3 1 4 3 65 6 5 A B C D E 18、下列图中，存在完美匹配的图是（ ） 19、下列哈斯图中，不是格的有（）。 A B C D E 20、若G,*是一个群，则运算“*”不一定满足（ ）。 A、交换率 B、消去律 C、幂等律 D、分配律 二、名词解释（每小题3分，共15分） 1、什么叫谓词公式的解释。 2、试述函数中满射函数的定义。 3、 叙述极大连通分支的定义。 4、 试述代数系统中子代数的定义。 5、 试述格的定义 三、判断分析改错题（每小题5分，共10分） 1、设Z，+是一个代数系统，Z是正整数集合，“＋”是一般的加法运算，Z上的函数f为：f(x)=5x-7，则函数f能构成代数系统的自同构吗？为什么？ 2、设A，B，C为任意命题公式。已知，问 吗？ bacdefg b a c d e f g 1、设集合A＝｛a,b,c,d,e,f,g｝上的偏序关系如右图所示, 求A的最大元、最小元、极大元和极小元，并求A的子集 B＝｛a,b,c,d｝的上确界和下确界。 2、设个体域D={a,b,c}，消去以下各式中的量词： （1）； （2） 3、求命题公式(PQ)R的主析取范式和主合取范式。 4、设是群，运算“”定义如下：，有： 试验证该代数系统是否是一个循环群？如是，请求出该循环群的全部生成元，幺元，每个元素的逆元。 五、综合证明题（共18分） 将下面的推理符号化，然后用逻辑推理的方法证明之。 1、每个在学校读书的人都获得知识。所以如果没有人获得知识就没有人在学校读书。（个体域是人的集合）。 2、设G,*是群，H，K是其子群，在G上定义二元关系R：使得。 证明：R是G上的等价关