离散复习题分析.docVIP

离散数学复习资料 一、填空 命题“对于任意给定的正实数，都存在比它大的实数”令F(x)：x为实数，则命题的逻辑谓词公式为 。设pq：王大力是500米冠军，在命题逻辑中，命题的符号化形式为。命题的符号化形式为____。x）：x是素数， E(x)：x 是偶数，O(x)：x是奇数 N (x,y)：x可以整数y。则谓词 的自然语言是 。 设个体域是，谓词公式写成不含量词的形式是 。的前束范式为 。 命题公式的主合取范式为 ，其编码表示为 。 设E为全集， ，称为A的绝对补，记作～A，且～（～A）= ，～E = ，～= 。 设，则A-B= 5，6 ，A(B = 3,4,5,6 ，A×C = 。 设考虑下列子集，，，，，则A的覆盖有 ，A的划分有 。 设，，则 ， 。 设A={1,2,2 , 4 ,3 , 3 } , B={1,3,2,4,4,2},则= ，= 。 A={1，2，3，4，5，6}，A上二元关系，则用列举法 T= ；T的关系图为 ，T具有 传递 性质。 偏序集的哈斯图为，则= 。 设，定义A上的二元运算为普通乘法、除法和加法，则代数系统A,*中运算*关于 运算具有封闭性。 A，B，C表示三个集合，文图中阴影部分的集合表达式为 。 设图G = V，E ，的邻接矩阵，则的入度 = ，的出度= ，从到的长度为2的路径有 条。 结点数n（）的简单连通平面图的边数为m，则m与n的关系为 。 设 f，g是自然数集N上的函数，则 。 设I是整数集合，Z3是由模3的同余类组成的同余类集，在Z3上定义+3如下： ，则+3的运算表为 ；Z+,+3是否构成群 。 集合S={α，β，γ，δ}上的二元运算*为 * α β γ δ α δ α β γ β α β γ δ γ β γ γ γ δ α δ γ δ 那么，代数系统S, *中的幺元是 ，α的逆元是　 　。 设 {a,b,c}, * 为代数系统，* 运算如下： * a b c a a b c b b a c c c c c 则它的幺元为 ；零元为 。 设A={a，b，c}，A上二元关系R={ a, a , a, b , a, c , c, c} , 则s（R）= 。 设A={1,2,2 , 4 ,3 , 3 } , B={1,3,2,4,4,2},则= ，= 。 设集合X={1,2,3}，下列关系中 不是等价的。 A= {1,1,2 , 2 ,3 , 3 } B= {1,1,2 , 2 ,3 , 3 ,3,2,2 ,3 } C= {1,1,2 , 2 ,3 , 3 ,1,4} D= {1,1,2 , 2 ,1 , 2 ,2,1,1 ,3 ,3,1,3 , 3 ,2 , 3 ,3,2} 设，则r (R)= ；s (R)= ；t (R) = 。 设G是n阶完全图，则G的边数m= 。 设A={a，b，c，d}，其上偏序关系R的哈斯图如右图所示：则 R= 。 n阶完全图Kn的边数为 。 结点数n（）的简单连通平面图的边数为m，则m与n的关系为 。 图的补图为 。 有向图 中从v1到v2长度为2的通路有 条。 设G为9阶无向图，每个结点度数不是5就是6，则G中至少有 个5度结点。 n阶完全图结点v的度数d(v) = 。 二、证明 不构造真值表证明蕴涵式 证明 证明(P∧Q)∨(P∧(Q) ( P 证明 证明 证明 用推理规则证明下式：前提: 结论： 设论域D={a , b , c}，求证：。 设是复合函数，如果满射，则也是满射。 假定，且是一个满射，g是个入射，则f是满射。 用反证法证明。 设 I ，+ 是一个群，设IE={ x|x=2n ，n∈I }，证明 IE ，+ 是 I ，+ 的一个子群。 三、按要求解答 将谓词公式化为前束析取范式与前束合取范式。 用推理规则论证：如果今天是星期六，我们就要到颐和园或圆明园玩，如果颐和园游人太多，我们就不去颐和园玩。今天是星期六，颐和园游人太多，所以，我们去圆明园玩。 符号化语句：“有些人喜欢所有的花，但是人们不喜欢杂草，那么花不是杂草”。并推证其结论。 用推理规则论证：或者逻辑难学，或者有少数学生不喜欢它；如果数学容易学，那么逻辑