试卷九试题和答案.docVIP

试卷九试题与答案 填空 30% （每空 3分） 选择合适的论域和谓词表达集合A=“直角坐标系中，单位元（不包括单位圆周）的点集”则A= 。 集合A={,{}}的幂集P(A) = 。 设A={1，2，3，4}，A上二元关系R={1，2，2，1，2，3，3，4}画出R的关系图 。 设A={1,2,2 , 4 ,3 , 3 } , B={1,3,2,4,4,2}, 则= 。 = 。 设|A|=3，则A上有 个二元关系。 A={1，2，3}上关系R= 时，R既是对称的又是反对称的。 偏序集的哈斯图为， 则= 。 设|X|=n，|Y|=m则（1）从X到Y有 个不同的函数。 （2）当n , m满足 时，存在双射有 个不同的双射。 是有理数的真值为 。 Q：我将去上海，R：我有时间，公式的 自然语言为 。 公式的 主合取范式是 。 若是集合A的一个分划， 则它应满足 。 选择 20% （每小题 2分） 设全集为I，下列相等的集合是（ ）。 A、； B、； C、； D、。 设S={N，Q，R}，下列命题正确的是（ ）。 A、； B、； C、； D、。 设C={{a},{b},{a,b}}，则分别为（ ）。 A、C和{a,b}；B、{a,b}与；C、{a,b}与{a,b}；D、C与C 下列语句不是命题的有（ ）。 x=13； B、离散数学是计算机系的一门必修课； C、鸡有三只脚； D、太阳系以外的星球上有生物； E、你打算考硕士研究生吗？ 的合取范式为（ ）。 A、 ；B、 ； C、 D、。 设|A|=n，则A上有（）二元关系。 A、2n ； B、n2 ； C、； D、nn ； E、。 设r为集合A上的相容关系，其简化关系图（如图）， 则 [I] r产生的最大相容类为（ ）； A、； B、； C、； D、 [II] A的完全覆盖为（ ）。 A、； B、； C、； D、。 集合A={1，2，3，4}上的偏序关系图为 则它的哈斯图为（ ）。 下列关系中能构成函数的是（ ）。 A、；B、； C、； D、。 10、N是自然数集，定义（即x除以3的余数）， 则f是（ ）。 A、满射不是单射；B、单射不是满射；C、双射；D、不是单射也不是满射。 简答题 15% 1、(10分)设S={1 , 2 , 3 , 4, 6 , 8 , 12 , 24}，“”为S上整除关系，问：（1）偏序集的Hass图如何？（2）偏序集的极小元、最小元、极大元、最大元是什么? 2、（5分）设解释R如下：DR是实数集，DR中特定元素a=0，DR中特定函数，特定谓词，问公式的涵义如何？真值如何？ 逻辑推理 10% 或者逻辑难学，或者有少数学生不喜欢它；如果数学容易学，那么逻辑并不难学。因此，如果许多学