东南大学离散数学复习资料.pdfVIP

东 南 大 学 考 试 卷 （ A 卷） 课程名称 考试学期 得分 适用专业 考试形式 考试时间长度 考 试 可 以 带 教 材 ： 离 散 数 学 ， 耿 素 云 、 屈 婉 铃 编 著 ， 高 教 出 版 社 出 版 一、填空题（每空 2 分，共 20 分） 1．对公式∀x(P(x) ∨Q(x))，其中 P(x): x=1 ，Q(x): x=2，当论域为{1, 2}时，其真值为 ， 当论域为{0, 1, 2}时，其真值为 。 2 ．若集合A 的基数|A|=10，则其幂集合的基数|P(A)|＝ 。 线 3 ．某班有学生 50 人，有 26 人在第一次考试中得优，有 21 人在第二次考试中得优，有 17 人两次考试都没有得优，那么两次考试都得优的学生人数是 。 名 4 ． 设 A ＝ {1,2,3,4} 上 的 关 系 R ＝ {1,2, 2,4, 3,3, 1,3} ， 则 r(R) 姓 ，s(R) ＝ ， ＝ 封 t(R)= 。 5 ．集合A ＝{a, b, c, d, e, f, g}，A 上的一个划分为{{a, b}, {c, d, e}, {f, g}}，那么该划分所 对应的等价关系 R 应有 个有序对。 6 ．设函数 f: A→B, g: B→C，若 f·g 是双射函数,则g 是 ，而 f 是 。 密 二、符号化下列命题（10 分） 1．不是所有的整数都是奇数。设 O(x) ：x 是奇数，Z(x) ：x 是整数。 号 学 2 ．不存在既是奇数又是偶数的自然数。设个体域为自然数集合，P(x) ：x 是奇数，Q(x) ： x 是偶数。 3 ． 闪光的不一定都是金子。设G(x): x 是金子，F(x): x 是闪光的。 4 ．尽管有些人聪明，但未必一切人聪明。设 M(x): x 是人，F(x): x 聪明。 5 ．凡偶数均能被 2 整除。设 F(x) ：x 是偶数，G(x) ：x 能被 2 整除。 三、分别用命题逻辑等值演算的方法求 p ∧(p→q) ∨q 的主析取范式和主合取范式。（12 共 2 页 第 1 页 分） 四、利用一阶逻辑推理的方法证明：∃x(P(x)→Q(x))⇒∀xP(x) →∃xQ(x) 。（10 分） 五、设 R 和 S 为 A 上的关系，证明：（R ∩S）－1 ＝（R－1 ∩S－1 ）。（10 分） 六、设 X ＝{1, 2, 3, 4}，R 是 X 上的二元关系，R ＝{1, 1, 3, 1, 1,3, 3, 3, 3, 2, 4,3, 4, 1, 4, 2, 1, 2} 。（12 分） 1．画出R 的关系图； 2 ．写出R 的关系矩阵； 3 ．说明R 是否自反、反自反、对称、反对称、传递。 七、设A, R为偏序集，在 A 上定义新的关系