南京邮电大学通达学院 2016/2017学年第一学期《 离散数学》期中试卷本试卷共页；考试时间 110 分钟；考试方式（闭）卷专业班级学号姓名题号一二三四五六七八九十总 分得分一、选择题（ 30 分）1．前提RRQQP,,的结论是（）A.Q B.P C.QP D.RP2．下列语句中为命题的是（）A 暮春三月，江南草长。B 这是多么可爱的风景啊！C 大家想做什么，就做什么，行吗？D 请勿践踏草地！3．设 F(x) 表示 x 是火车， G(y) 表示 y 是汽车， H(x,y) 表示 x 比 y 快，命题“某些汽车比所有火车慢”的符号化公式是（）A yxHxFxyGy,B yxHxFxyGy,C yxHxFyGyx,D yxHxFxyGy,4．设baBcbaA,,,,，则下列命题不正确的是（）得分装订线内不要答题自觉遵守考试规则，诚信考试，绝不作弊A ABB ABC cBAD baBA,5．给定命题公式如下：（1）QPQP（2）PQQPQP（3）QPP（4）RQPRQP这四个命题公式中，重言式有（）A．（1）（2）（3）B．（1）（3）（4）C．（1）（2）（3）（4）D．（2）（3）（4）6．下列各式哪个不成立（）A xxQxxPxQxPxB xxQxxPxQxPxC xxQxxPxQxPxD QxxPQxPx7．集合 A={1,{2},3,4},下列命题中正确的有（）：（1）{1} ∈A ；（2） {1 ，{2} ，4}A；（3）{2}A；（4）A；（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，如果 A-B 是空集，则 A 一定是 B 的子集。9．由集合运算定义，下列各式正确的有（）。A XXY B XXY C XXY D YXY10．下列有关于空集的说法，错误的是（）A 空集是唯一的。B AA 有,。C 0 。D AAA 有,。二、填空题（ 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用右手写字，命题“有的人并不用右手写字”在一阶逻辑中符号化的形式为______________...
