通达离散期中试卷汇编.doc

南京邮电大学通达学院 2016/2017学年第一学期 《 离散数学 》期中试卷 本试卷共 页； 考试时间 110 分钟；考试方式（ 闭 ）卷 专业 班级 学号 姓名 题号 一 二 三 四 五 六 七 八 九 十 总 分 得分 得分 一、选择题（30分） 前提的结论是（ ） A.Q B. C. D. 下列语句中为命题的是（ ） A 暮春三月，江南草长。 B 这是多么可爱的风景啊！ C 大家想做什么，就做什么，行吗？ D 请勿践踏草地！ 设F(x)表示x是火车，G(y)表示y是汽车，H(x,y)表示x比y快，命题“某些汽车比所有火车慢”的符号化公式是（ ） A B C D 4．设，则下列命题不正确的是（ ） A B C D 5．给定命题公式如下： （1） （2） （3） （4） 这四个命题公式中，重言式有（ ） A．（1）（2）（3） B．（1）（3）（4） C．（1）（2）（3） D．（2）（3）（4） 6．下列各式哪个不成立（ ） A B C D 7．集合A={1,{2},3,4},下列命题中正确的有 （ ）： （1）{1}A ； （2） {1，{2}，4}A； （3）{2}A； （4）； （5）{{2}}A； （6）{{2}，3}. A (1) (2) (5) B (2) (4) (5) C (1) (4) (5) D (2) (3) (6) 8．下列说法中哪一个是错误的 A 一阶逻辑中，任一合式公式都存在与之等值的前束范式。 B 任一命题公式都存在与之等值的唯一 C 空集是一切集合的子集。 D 对于集合A和B 9．由集合运算定义，下列各式正确的有（ ）。 AX(X(Y B X(X(Y C X(X(Y D Y(X(Y 10．下列有关于空集的说法，错误的是（ ） A 空集是唯一的。 B 。 C 。 D 。(x(F(x, y, z)((yG(x, y))，量词(x的辖域为 ，量词(y的辖域为 。 3. 已知集合，则其幂集 P（A）= 。 4. 已知A，B是两个集合，A＝{1，2，3，4}，B＝{2，3，5}，则B－A＝ ，P（B）－P（A）＝ ，P（B）中的元素个数为 。 5. 设F(x): x是人，G(x): x用右手写字，命题“有的人并不用右手写字”在一阶逻辑中符号化的形式为_____________________。 得分 三、解答题（30分） 1．求公式((p(q)((p(r)的的(A(B) ( (C ( (A(B)) （5分） 4. 设：P(x)表示x是兔子、G(x)表示x是乌龟、R(x, y)表示x比y跑得快，请在一阶逻辑中符号化下述命题1）、2）和3）：（6分） 1） 有些兔子比所有乌龟跑得快。 2） 所有兔子都比某个乌龟跑得快。 3） 并不是所有的兔子都比所有的乌龟跑得快。 5. 某学校对60名学生的读报情况进行调查，结果25人阅读“武汉晚报”，26人读“中国青年报”，26人阅读“长江日报”，9人既读“武汉晚报”也阅读“长江日报”，11人既读“武汉晚报”也阅读“中国青年报”，8人既阅读“中国青年报”也阅读“长江日报”，而8人什么报也不读。（6分） 求阅读全部三种报纸的人数。 求只阅读一种报纸的人数。 在文氏图中，用正确的人数填入所分的互不相交的8个区域中。 得分 四、证明题（20分） 1. 请使用命题逻辑的等值演算证明等值式：（5分） 2. 利用集合恒等式证明：(A-B)-C = (A-C)-(B-C) （5分） 3. 明天是晴天或是雨天；若明天是晴天，我就去看电影；若我看电影，我就不看书。所以，如果我看书，则明天是雨天。 令P：明天是晴天， Q：明天是雨天， R：我看电影， S：我看书。 请在命题逻辑范畴内证明此命题：（10分） 一、选择题 BABDC CBBAC 二、填空题 1、8，真值表，1 2、(F(x, y, z)((yG(x, y))，G(x, y)) 3、{，{}，{{}}，{，{}}} 4、{5}，{{5}，{2,5}，{3,5}，{2,3,5}} 5、(x（F(x)∧┐G(x)） 三、解答题 1、命题公式((p(q)((p(r)的主析取范式是((p(q((r)(((