《离散数学》2008A卷(答案).docVIP

湘潭大学2008年 上学期2007级 《离散数学》课程考试试卷 （A卷答案） 适用年级专业 计算机、网络工程、软件工程 考试方式闭卷 考试时间 120 分钟 学院 信息工程学院 专业 班级 学号 姓名 题 号 一 二 三 四 五 六 七 八 总分 阅卷 教师 得 分 ……………………………………………………………………………………………………………… 得 分 一、选择题（每小题2分，共30分） 1、设A、B和C是任意三个集合，并且AB AC，则（ C ） A. B. C. B C D. B和C的关系无法确定 2、若R是传递的，则 A . A. r R 是传递的 B. r R 不是传递的 C. r R 可能是传递的，也可能不是传递的 3、设论域为整数集，谓词。以下为真命题的是（ B ）。 A.; B.; C.; D.. 4、下面的命题公式中，重言式是（ B ）。 A.； B. ； C. D.. 5、任何集合与其真子集均（ C ）。 A.等势; B. 不能等势; C. 无法确定 6、下面 B 是极小项。 A. P Q B. P Q C. P Q D. Q P 7、使用改名规则后,所得到的谓词公式为 B . A. B. C. D. 8、设集合A a,b,c,d ,B 1,2,3,4 ,则从A到B的函数 f a,2 , b,1 , c,3 , d,2 是（D ） A. f是双射函数 B. f是入射函数 C. f是满射函数 D. f即不是满射又不是入射函数 9、下列蕴含式为真的是（ B） A. B. C． D. 10、设是A到B的映射，是B到C的映射，是双射，则（ B ） A. 是满射，是单射 B．是单射，是满射 C．是满射，也是满射 D．是单射，也是单射 11、设集合S是集合Q的子集，Q是可数集，则（ B）。 A. S必是不可数集 B. S必是可数集 C. S可能是可数集，也可能是不可数集 12、设A 1，2，3，4，5 ，A上二元关系R 〈1，2〉，〈3，4〉，〈2，2〉 ，S 〈2，4〉，〈3，1〉，〈4，2〉 ，则S-1·R-1的运算结果是（A） A． 〈4，1〉，〈2，3〉，〈4，2〉 B． 〈2，4〉，〈2，3〉，〈4，2〉 C． 〈4，1〉，〈2，3〉，〈2，4〉 D． 〈2，2〉，〈3，1〉，〈4，4〉 13、设N是自然数集，R是实数集，于是在下列集合中，基数为 0的是（ C ） A． 1，2，…,n ； B． x2|x R ； C．有理数集； D． N 14、论断：“命题变元不是命题”（ A ）命题。 A．是； B.不是；C.不可判定 15、设S a,b,c ，T p,q ，作f:ST,则这样的f一共有（ C ）个。 A. 9 B. 10 C. 8 D. 7 得 分 二、填空题 每空2分,共20分 1、设P:2+5 3,Q:日本在亚洲;于是，的真值为 1 。 2、数理逻辑中，进行推理的常用规则有 前提引入规则 ， 结论引入规则 和 置换规则 。 3、设集合|A| 101，S,且|S|为奇数，则这样的S有 2101/2或2100 个。 4、设mi是公式G的的主析取范式中的一个极小项，则mi的对偶式 不一定是 （填“是”/“不是”/“不一定是” ） G的主合取范式中的一个极大项。 5、由3个元素组成的有限集上所有的等价关系有 5 个 6、给定解释I如下: 1 Di: 2,3 ； 2 a 3； 3 函数f x 为f 2 2，f 3 3； 4 谓词：F x 为F 2 : 1,F 3 : 0;G x,y 为当i j时，G i,j : 1；当i≠j时，G i,j : 0；其中i,j 2,3; L x,y 为L 2,2 L 3,2 : 0, L 2,3 L 3,3 : 1，在该解释下 0 . 1 7、设谓词的论域D a，b，c ，试将中的量词消除,写成与之等值的命题公式为 得 分 三、计算与简答 共20分 是可能的吗？说明你的理由。（4分） 解答：可能。 如：定B a ,a A a 2. 设A 1,2,3…10 ，定义A上的二元关系R x,y |x,y∈A∩x+y 10 ，试讨论R关于关系的五个方面的性质并说明理由（5分） 解答：R 1,9 , 9,1 , 2,8 , 8, 2 , 3,7 , 7,3 , 4,6 , 6, 4 , 5, 5 R具有非自反、非反自反、对称、非反对称和非传递性。（每一项1分） 3、求命题公式的主析取范式和主合取范式。 要求：主析取范