中南民族大学 离散 试卷 整理版.doc

1.利用集合成员表证明： ========= A B C BC A—（BC） A—B A—C （A—B）（A—C） 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 0 0 0 1 1 1 1 1 0 1 0 1 1 0 1 1 1 0 0 1 0 1 1 1 1 1 1 0 0 0 0 由成员表可以看出 A—（BC）与（A—B）（A—C）的标记列完全相同，故等式成立。 ------------------------------------------------------------------------------------------------ 2.设为上的等价关系，试证明：（1）(2)有即为上的幂等关系. ========= （1）由对称故 故有 （2）下证， 综合有，再归纳有 ------------------------------------------------------------------------------------------------ 3.设函数定义函数使得，试证明：若为满射，则为上的内射。举例说明若不是满射，则不一定为内射 ========= 由于为上的满射，故使得再由于为上的映射，故即为上的内射。 例：设且故不是满射。但，故不是内射。 --------------------------------------------------------------------------------------------- 4.设构造上的模4加法运算表，判断上的模4加法运算是不是半群，独异点，群，阿贝耳群。同时写出零元及单位元. ========= 运算表如下： 0 1 2 3 0 0 1 2 3 1 1 2 3 0 2 2 3 0 1 3 3 0 1 2 由运算表可以看出该代数系统为半群，独异点，群及阿贝耳群。 不存在零元。 ---------------------------------------------------------------------------------------------- 5.画出所有5元素的格，并判断哪些是分配格？那些是有补格？那些是有补分配格？并说明理由. ========= （1） （2） （3） （4） （5） 其中（1），（2），（3）是分配格；（4），（5）是有补格 ---------------------------------------------------------------------------------------------- 6.试证明在格中对于任意的元素有: ========= 类似有 综合有 ---------------------------------------------------------------------------------------------- 8.设是连通的图,且，试证明是一棵树 ========= 由于树是连通的无环图，故G中不含有环。 由于连通且，下证明G中不含有环， 反设G中含有环，则去掉环上的一条边后G形成一棵树，故即与矛盾，故命题成立。 ---------------------------------------------------------------------------------------------- 9.将下列命题符号化（1）如果你是体育爱好者不是文艺爱好者那么你不是文体爱好者.（2）小明是数学系的学生，他住在16栋302室或303室.（3）除非他以书面形式或口