离散数学模拟题3.docVIP

题 3 模 拟 试 有两个小题一. 、∧、∨、→以及．分别说明联结词的名称，以及在自然语言中表示什么含义。1 。的真值表(Q、PQ、2．分别列出P填下表P)Q、P P PQ Q PQPPQ Q 二．有三个问题 1.先说明什么叫永真式(也叫重言式)。 。(只写题号即可)指出下面的命题公式中哪些是永真式2. → (1). (P∨Q)P (2). P→(PQ) ∨ Q)(4). (P∧→Q Q))(3). (P ∧(P→→Q 。)3.然后对上面的永真式任选其中一个给予证明(方法不限 三．判断下面命题的真值。对你的回答，给予证明或者举反例。 (1)．如果 。AC BBA∈，C，则 (2)．空集是唯一的。 RR四．是实数集合，给定上的五个关系如下: ={x,y|x=yR } ={x,y|y=x+6}R 221 }={x,y|y=2 } ={x,y|y=(x+1)R Rx-143 +y={x,y|xR =4} 225的双射函的入射函数哪些是从到的函数，为什么如果是函数，则哪些是从到上述五个关系中，哪些不是从RRRRRR到 数 五．用谓词逻辑推理的方法证明下面推理的有效性。要求按照推理的格式书写推理过程。 R(x)), x(Q(x) Q(x) R(x))x(P(x) xxP(x), 六．给定集合A={1,2,3},定义A上的关系如下： R={1,1,1,2,1,3,3,3} S={1,1,1,2,2,1,2,2,3,3} T={1,1,2,1,2,2,2,3,3,3} M=Ф(空关系) N=A×A(完全关系（全域关系）) 1. 分别画出上述各个关系的有向图。 2. 用“√”表示“是”，用“×”表示“否”，填下表： 自反的 反自反 对称的 反对称 传递的 R 上述五个关系中，哪些是等价关系哪些是偏序关系是等价关系，写出相应的商集。是偏序关系，画出相应的哈斯图， 3. 以及A的极小元、极大元、最小元、最大元、上界与下界。 t(R)4. S 分别求复合关系 和闭包R . 七，分别表示加法、减法、乘法、两个数中取最大的、R是实数集合，给出R|x-y上的运算：+、－、×、、maxmin1、． ，判断这些运算的性质，填下表：否”是表示“”，用“×”表示两个数中取最小的、x-y的绝对值运算。用“√”mami|x-y 有交换 有结合 有幂等 有幺 有零 是群，而a∈GG,，f：G G是映射定义为：．设2xa 对x∈G, f(x)=a-1首先证明求f：GG是双射；再证明f是G到G的自同构映射。 八．下面具有五个元素的格中，哪些是分配格 e db a c 九．有二个小题。1. 给定图的集合G={A,B,C,D,E,F,H,K,M,N,R,S,T,V,W,X,Y},其中各个图如下所示，请指出这些图中哪些是彼此同构的。 2. 有两个小题 1) 分别说明什么叫欧拉图、汉密尔顿图、完全图K以及树。 n2) 请画出五个具有五个结点的无向图，使之分别满足： (1) 此图既是欧拉图也是汉密尔顿图。 (2) 此图是欧拉图但不是汉密尔顿图。 (3) 此图是汉密尔顿图但不是欧拉图 。 (4) 此图是完全图K。 5(5) 此图是棵树。 模拟试题3参考答案 一．1． “∧” (2) (1) 叫做合取。“”叫做否定 。 “ ”叫做蕴涵、条件。 (4) (3) “∨”叫做析取。 ” (5) “叫做等价、双条件。 。”表示：““…不成立”，“不…” ...”、“尽管…还… ”又“∧”表示：“并且”、“不但…而且...”、“既… “∨”表示“或者”， 是可兼取的或。 。 只有… , 才…； “ 仅当 … ；”表示 如果… ，则 …；只要… ，就 … “充分且必要””表示“当且仅当”“、 2． QP P P QQ Q∧Q P∨P T F F T FF T FTT F F T F F F T F T T T T T T 为真，) ,P,…,P) 是