离散数学模拟题3..docVIP

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