通达离散期中试卷.docxVIP

自 觉 遵装 守 考订 试线 规 则内 ， 诚不 信 考要 试 ，答 绝 不题 作 弊  .\ 南京邮电大学通达学院2016/2017学年第一学期 《离散数学》期中试卷 本试卷共页；考试时间110分钟；考试方式（闭）卷 专业班级学号姓名 题号一二三四五六七八九十总分 得分 得分一、选择题（30分） 1．前提PQ,QR,R的结论是（） A.QB.PC.PQD.PR 2．下列语句中为命题的是（） 暮春三月，江南草长。 这是多么可爱的景色啊！ 大家想做什么，就做什么，行吗？ 请勿踩踏草地！ 3．设F(x)表示x是火车，G(y)表示y是汽车，H(x,y)表示x比y快，命题“某些汽车比所有火车慢”的符号化公式是（） A y Gy x F x Hx,y B y Gy x Fx Hx,y C x y Gy F x Hx,y D y Gy x F x Hx,y 4．设Aa,b,c,B a,b，则下列命题不正确的选项是（ ） .\ A B A B B A CA Bc DABa,b 5．给定数题公式如下： （1）PQPQ （2）PQPQQP （3）PPQ （4）PQRPQR 这四个命题公式中，重言式有（） ．（1）（2）（3） B．（1）（3）（4） C．（1）（2）（3）（4） D．（2）（3）（4） 6．下列各式哪个不建立（） AxPxQxxPxxQx B xPx Qx xPx xQx C xPx Qx xPx xQx D xPx Q xPxQ 7．会合A={1,{2},3,4},下列命题中正确的有 （ ）： （1）{1}∈A； （2）{1，{2}，4} A； （3）{2} A； （4） A； （5） {{2}}A； （6）∈{{2}，3}. .\ (1)(2)(5) (2)(4)(5) (1)(4)(5) (2)(3)(6) 8．下列说法中哪一个是错误的（） 一阶逻辑中，任一合式公式都存在与之等值的前束范式。 任一命题公式都存在与之等值的范式并且唯一。 空集是一切会合的子集。 对于会合A和B，如果A-B是空集，则A一定是B的子集。 9．由会合运算定义，下列各式正确的有（）。 AXXY BXXY CXXY DYXY 10．下列有对于空集的说法，错误的选项是（） 空集是唯一的。 BA,有A。 C0。 DA,有AA。 得分二、填空题（20分） 1. 命题公式G=（PQ）R，则G共有 个不同的解释；把G 在其所有解释下所取真值列成一个表，称为G的 ；解释（0， 1，0）使G的真值为 。 2. 已知公式 x(F(x, y,z)yG(x,y)) ，量词x 的辖域 为 ，量词 y的辖域为 。 3. 已知会合A , ，则其幂集 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．求公式(pq)(pr)的主析取范式和主合取范式。（8分） 2.求公式xF(x,y)yG(x,y)的前束范式。（5分） 3.利用会合的基本恒等式化简：(AB)(C(AB))（5分） 设：P(x)表示x是兔子、G(x)表示x是乌龟、R(x,y)表示x比y跑得 快，请在一阶逻辑中符号化下述命题1）、2）和3）：（6分） 1）有些兔子比所有乌龟跑得快。 2）所有兔子都比某个乌龟跑得快。 3）并不是所有的兔子都比所有的乌龟跑得快。 .\ 某学校对60名学生的读报情况进行检查，结果25人阅读“武汉晚报”， 人读“中国青年报”，26人阅读“长江日报”，9人既读“武汉晚报”也阅读“长江日报”，11人既读“武汉晚报”也阅读“中国青年报”，8人既阅读“中国青年报”也阅读“长江日报”，而8人什么报也不读。（6分） 求阅读全部三种报纸的人数。 求只阅读一种报纸的人数。 3)在文氏图中，用正确的人数填入所分的互不相交的8个地区中。 得分四、证明题（20分） 请使用命题逻辑的等值演算证明等值式：（5分） PQPQPQ .\ 2.利用会合恒等式证明：(A-B)-C=(A-C)-(B-C) （5分） 明天是晴天或是雨天；若明天是晴天，我就去看电影；若我看电影，我就不看书。所以，如果我看书，则明天是雨天。 令P：明天是晴天，Q：明天是雨天，R：我看电影，S：我看书。请在命题逻辑范围内证明此命题：（10分） 自 觉 遵装 守 考订 试线 规 则内 ， 诚 不 信 考要 试 ，答 绝 不题 作 弊 .\ 一、选择题 BABDC CBBAC 二、填空题 1、8，真值表，1 2、(F(x,y, z) yG(x,y))，G(