离散数学历年考试证明题

合集下载

离散数学期末考试题及详细答案

离散数学期末考试题及详细答案

离散数学期末考试题及详细答案一、选择题(每题5分,共20分)1. 在离散数学中,下列哪个概念用来描述元素与集合之间的关系?A. 并集B. 交集C. 子集D. 元素答案:D2. 布尔代数中,下列哪个运算符表示逻辑“与”?A. ∨B. ∧C. ¬D. →答案:B3. 下列哪个命题的否定是正确的?A. 如果今天是周一,则明天是周二。

B. 如果今天是周一,则明天不是周二。

答案:B4. 在图论中,一个图的顶点数为n,边数为m,下列哪个条件可以保证该图是连通的?A. m > nB. m ≥ nC. m = nD. m > n-1答案:D二、填空题(每题5分,共20分)1. 在集合论中,一个集合的幂集包含该集合的所有______。

答案:子集2. 如果一个函数f: A → B是单射的,那么对于任意的a1, a2 ∈ A,如果a1 ≠ a2,则f(a1) ≠ f(a2)。

这种性质称为函数的______。

答案:单射性3. 在图论中,一个图的直径是指图中任意两个顶点之间的最短路径的最大值。

如果一个图的直径为1,则该图被称为______。

答案:完全图4. 一个布尔表达式可以表示为一系列逻辑运算符和变量的组合。

布尔表达式(A ∧ B) ∨ (¬ A ∧ C)的真值表中,当A为真,B为假,C为真时,整个表达式的值为______。

答案:真三、简答题(每题10分,共30分)1. 请简述什么是图的哈密顿回路,并给出一个例子。

答案:哈密顿回路是图中的一个回路,它恰好访问每个顶点一次。

例如,在一个完全图中,任意一个顶点出发,依次访问其他顶点,最后回到出发点的路径就是一个哈密顿回路。

2. 请解释什么是二元关系,并给出一个二元关系的例子。

答案:二元关系是定义在两个集合上的一个关系,它关联了第一个集合中的元素和第二个集合中的元素。

例如,小于关系是实数集合上的一个二元关系,它关联了每一对实数,如果第一个数小于第二个数。

离散数学样卷十二套(含答案)

离散数学样卷十二套(含答案)

一、证明下列各题1、 (10分)证明蕴涵式:()P P Q Q ∧→⇒2、(10分)证明:,1111f g f g -⇒-I 为函数为函数。

5、 3、(10分)给定代数结构,N ⨯和{}0,1,⨯,其中N 是自然数集合,⨯是数的乘法。

设{}:0,1f N →,定义为:12,,()0k n n k N f n ⎧=∈=⎨⎩否则试证}01N ⨯≅⨯,,,。

4、(10分)给定代数结构,R *,其中R 是实数集合,对R 中任意元a 和b ,*定义如下:a b a b a b *=++⨯ 试证明:,R *是独异点。

二、求下列各题的解:1、试求下列公式的主析取范式和主合取范式(15分):()()P Q P Q ⌝∨⌝→⌝€2、(15分){}010*********R =设,,,,,,,,,,,,试求(1)、R R *,(2)、{}1R ↑,(3)、{}11R -↑,(4)、{}1R ⎡⎤⎣⎦,(5)、{}11R -⎡⎤⎣⎦3、(15分给定无向图,G V E =,如图,试求: F E DCA B(1) 从A 到D 的所有基本链; (2) 从A 到D 的所有简单链;(3) 长度分别是最小和最大的简单圈; (4) 长度分别是最小和最大的基本圈; (5) 从A 到D 的距离。

4、(15分)给定二部图12,,G E V =,如图 9v 8v 7v 6v 1V1v 2v 3v 4v 5v 2V 试求1V 到2V 的最大匹配一、证明下列各题1、 (10分)证明蕴涵式:()P Q P P Q →⇒→∧2、(10分)证明:()()()A B C A B A C ⨯-=⨯-⨯3、(10分)给定群,G ,则,G 为Abel 群⇔222()()(,())∀∀∈→=a b a b G a b a b4、(10分)给定代数结构,S *,其中S 中元为实数有序对,*定义为 ,,,2a b c d a c b d bd *=+++,试证,S *是可交换独异点。

离散数学考试试题(A、B卷及答案)

离散数学考试试题(A、B卷及答案)

离散数学考试试题(A、B卷及答案)离散数学考试试题(A卷及答案)一、证明题(10分)1) (P∧Q∧A→C)∧(A→P∨Q∨C)? (A∧(P?Q))→C。

P<->Q=(p->Q)合取(Q->p)证明: (P∧Q∧A→C)∧(A→P∨Q∨C)(?P∨?Q∨?A∨C)∧(?A∨P∨Q∨C)((?P∨?Q∨?A)∧(?A∨P∨Q))∨C反用分配律((P∧Q∧A)∨(A∧?P∧?Q))∨C( A∧((P∧Q)∨(?P∧?Q)))∨C再反用分配律( A∧(P?Q))∨C(A∧(P?Q))→C2) ?(P↑Q)??P↓?Q。

证明:?(P↑Q)??(?(P∧Q))??(?P∨?Q))??P↓?Q。

二、分别用真值表法与公式法求(P→(Q∨R))∧(?P∨(Q?R))的主析取范式与主合取范式,并写出其相应的成真赋值与成假赋值(15分)。

主析取范式与析取范式的区别:主析取范式里每个括号里都必须有全部的变元。

主析取范式可由析取范式经等值演算法算得。

证明:公式法:因为(P→(Q∨R))∧(?P∨(Q?R))(?P∨Q∨R)∧(?P∨(Q∧R)∨(?Q∧?R))(?P∨Q∨R)∧(((?P∨Q)∧(?P∨R))∨(?Q∧?R))分配律(?P∨Q∨R)∧(?P∨Q∨?Q)∧(?P∨Q∨?R)∧(?P∨R∨?Q)∧(?P ∨R∨?R) (?P∨Q∨R)∧(?P∨Q∨?R)∧(?P∨?Q∨R)4M使(非P析取Q析取R)为0所赋真值,即100,二进制为4M∧6M∧50m∨1m∨2m∨3m∨7m所以,公式(P→(Q∨R))∧(?P∨(Q?R))为可满足式,其相应的成真赋值为000、001、010、011、111:成假赋值为:100、101、110。

真值表法:0 0 1 0 1 00 1 11 0 0 1 0 1 1 1 0 1 1 1 0111111111111111111为000、001、010、011、111:成假赋值为:100、101、110。

(完整版)离散数学题目及答案

(完整版)离散数学题目及答案

数理逻辑习题判断题1.任何命题公式存在惟一的特异析取范式 ( √ ) 2. 公式)(q p p →⌝→是永真式 ( √ ) 3.命题公式p q p →∧)(是永真式 ( √ ) 4.命题公式r q p ∧⌝∧的成真赋值为010 ( × ) 5.))(()(B x A x B x xA →∃=→∀ ( √ )6.命题“如果1+2=3,则雪是黑的”是真命题 ( × ) 7.p q p p =∧∨)( ( √ )8.))()((x G x F x →∀是永真式 ( × ) 9.“我正在撒谎”是命题 ( × ) 10. )()(x xG x xF ∃→∀是永真式( √ )11.命题“如果1+2=0,则雪是黑的”是假命题 ( × ) 12.p q p p =∨∧)( ( √ )13.))()((x G x F x →∀是永假式 ( × )14.每个命题公式都有唯一的特异(主)合取范式 ( √ ) 15.若雪是黑色的:p ,则q →p 公式是永真式 ( √ ) 16.每个逻辑公式都有唯一的前束范式 ( × ) 17.q →p 公式的特异(主)析取式为q p ∨⌝ ( × ) 18.命题公式 )(r q p →∨⌝的成假赋值是110 ( √ ) 19.一阶逻辑公式)),()((y x G x F x →∀是闭式( × )单项选择题1. 下述不是命题的是( A )A.花儿真美啊! B.明天是阴天。

C.2是偶数。

D.铅球是方的。

2.谓词公式(∀y)(∀x)(P(x)→R(x,y))∧∃yQ(x,y)中变元y (B)A.是自由变元但不是约束变元B.是约束变元但不是自由变元C.既是自由变元又是约束变元D.既不是自由变元又不是约束变元3.下列命题公式为重言式的是( A )A.p→ (p∨q)B.(p∨┐p)→qC.q∧┐q D.p→┐q4.下列语句中不是..命题的只有(A )A.花儿为什么这样红?B.2+2=0C.飞碟来自地球外的星球。

离散数学考试题及详细参考答案

离散数学考试题及详细参考答案

离散数学考试题(后附详细答案)一、命题符号化(共6小题,每小题3分,共计18分)1.用命题逻辑把下列命题符号化a)假如上午不下雨,我去看电影,否则就在家里读书或看报。

b)我今天进城,除非下雨。

c)仅当你走,我将留下。

2.用谓词逻辑把下列命题符号化a)有些实数不是有理数b)对于所有非零实数x,总存在y使得xy=1。

c) f 是从A到B的函数当且仅当对于每个a∈A存在唯一的b∈B,使得f(a)=b.二、简答题(共6道题,共32分)1.求命题公式(P→(Q→R)) (R→(Q→P))的主析取范式、主合取范式,并写出所有成真赋值。

(5分)2.设个体域为{1,2,3},求下列命题的真值(4分)a)x y(x+y=4)b)y x (x+y=4)3.求x(F(x)→G(x))→(xF(x)→xG(x))的前束范式。

(4分)4.判断下面命题的真假,并说明原因。

(每小题2分,共4分)a)(A B)-C=(A-B) (A-C)b)若f是从集合A到集合B的入射函数,则|A|≤|B|5.设A是有穷集,|A|=5,问(每小题2分,共4分)a)A上有多少种不同的等价关系?b)从A到A的不同双射函数有多少个?6.设有偏序集<A,≤>,其哈斯图如图1,求子集B={b,d,e}的最小元,最大元、极大元、极小元、上界集合、下界集合、上确界、下确界,(5分)f g图17.已知有限集S={a1,a2,…,a n},N为自然数集合,R为实数集合,求下列集合的基数S;P(S);N,N n;P(N);R,R×R,{o,1}N(写出即可)(6分)三、证明题(共3小题,共计40分)1.使用构造性证明,证明下面推理的有效性。

(每小题5分,共10分)a)A→(B∧C),(E→ F)→ C, B→(A∧ S) B→Eb)x(P(x)→ Q(x)), x(Q(x)∨R(x)),x R(x) x P(x)2.设R1是A上的等价关系,R2是B上的等价关系,A≠ 且B≠ ,关系R满足:<<x1,y1>,<x2,y2>>∈R,当且仅当< x1, x2>∈R1且<y1,y2>∈R2。

《离散数学》试题含答案

《离散数学》试题含答案

《离散数学》试题含答案⼀、填空题1设集合A,B,其中A={1,2,3}, B= {1,2}, 则A - B=____________________; ρ(A) - ρ(B)=__________________________ .2. 设有限集合A, |A| = n, 则|ρ(A×A)| = __________________________.3.设集合A = {a, b}, B = {1, 2}, 则从A到B的所有映射是__________________________ _____________, 其中双射的是__________________________.4. 已知命题公式G=?(P→Q)∧R,则G的主析取范式是_________________________________________________________________________________________.5.设G是完全⼆叉树,G有7个点,其中4个叶点,则G的总度数为__________,分枝点数为________________.6设A、B为两个集合, A= {1,2,4}, B = {3,4}, 则从A?B=_________________________; A?B=_________________________;A-B=_____________________ .7. 设R是集合A上的等价关系,则R所具有的关系的三个特性是______________________,________________________, _______________________________.8. 设命题公式G=?(P→(Q∧R)),则使公式G为真的解释有__________________________,_____________________________, __________________________.9. 设集合A={1,2,3,4}, A上的关系R1 = {(1,4),(2,3),(3,2)}, R1 = {(2,1),(3,2),(4,3)}, 则R1?R2 =________________________,R2?R1 =____________________________, R12=________________________.10. 设有限集A, B,|A| = m, |B| = n, 则| |ρ(A?B)| = _____________________________.11设A,B,R是三个集合,其中R是实数集,A = {x | -1≤x≤1, x∈R}, B = {x | 0≤x < 2, x∈R},则A-B =__________________________ , B-A = __________________________ ,A∩B = __________________________ , .13.设集合A={2, 3, 4, 5, 6},R是A上的整除,则R以集合形式(列举法)记为__________________________________________________________________.14. 设⼀阶逻辑公式G = ?xP(x)→?xQ(x),则G的前束范式是__________________________ _____.15.设G是具有8个顶点的树,则G中增加_________条边才能把G变成完全图。

离散数学证明题

离散数学证明题

离散数学证明题
以下是一个离散数学证明题的例子:
题目:证明组合数公式:C(n, k) = n! / (k! * (n-k)!)
证明:
1. 构造法:从集合{1, 2, 3,..., n}中选择k个元素,共有C(n, k)种选择方式。

2. 计算组合数:
对于每个选择的k个元素,剩下的n-k个元素可以任意排列,共有n!种排列方式。

因此,总的组合数为:C(n, k) = n!
3. 计算组合数的简化形式:
由于k! = 1 * 2 * 3 * ... * k,(n-k)! = (n-1)! * (k-1)!,
所以,C(n, k) = n! / (k! * (n-k)!)
综上所述,我们证明了组合数公式C(n, k) = n! / (k! * (n-k)!)。

这个例子中,我们使用了直接证明法进行证明。

首先构造了一个关于组合数的场景,然后通过计算和简化,得出了组合数公式。

这种证明方法遵循了离散数学证明的规范,确保了证明过程的严谨性。

离散数学考试题目及答案

离散数学考试题目及答案

离散数学考试题目及答案1. 试述命题逻辑中的等价关系和蕴含关系。

答案:命题逻辑中的等价关系是指两个命题在所有可能的真值赋值下都具有相同的真值。

若命题P和Q等价,则记作P⇔Q。

蕴含关系是指如果命题P为真,则命题Q也为真,但Q为真时P不一定为真。

若命题P蕴含Q,则记作P→Q。

2. 证明:若集合A和B的交集非空,则它们的并集包含A和B。

答案:设x属于A∩B,即x同时属于A和B。

根据并集的定义,若元素属于A或B,则它属于A∪B。

因此,x属于A∪B。

由于x是任意属于A∩B的元素,所以A∩B≠∅意味着A∪B至少包含A∩B中的所有元素,即A∪B包含A和B。

3. 给定一个有向图G,如何判断G中是否存在环?答案:判断有向图G中是否存在环,可以采用深度优先搜索(DFS)算法。

在DFS过程中,记录每个顶点的访问状态,如果遇到一个已访问过的顶点,且该顶点不是当前路径的直接前驱,则表示存在环。

4. 描述有限自动机的组成部分及其功能。

答案:有限自动机由以下几部分组成:输入字母表、状态集合、转移函数、初始状态和接受状态集合。

输入字母表定义了自动机可以接收的符号集合;状态集合包含了自动机所有可能的状态;转移函数定义了在给定输入符号和当前状态的情况下,自动机如何转移到下一个状态;初始状态是自动机开始工作时的状态;接受状态集合包含了所有使自动机接受输入字符串的状态。

5. 什么是图的连通分量?如何确定一个无向图的连通分量?答案:图的连通分量是指图中最大的连通子图。

在一个无向图中,如果两个顶点之间存在路径,则称这两个顶点是连通的。

确定无向图的连通分量可以通过深度优先搜索(DFS)或广度优先搜索(BFS)算法。

从任一顶点开始搜索,搜索过程中访问的所有顶点构成一个连通分量。

重复此过程,直到所有顶点都被访问过,即可确定图中所有连通分量。

离散数学考试题目及答案

离散数学考试题目及答案

离散数学考试题目及答案一、单项选择题(每题2分,共20分)1. 集合A={1,2,3},集合B={3,4,5},则A∩B的元素个数为:A. 0B. 1C. 2D. 3答案:B2. 函数f: X→Y是一个双射,当且仅当:A. f是单射且满射B. f是单射C. f是满射D. f是双射答案:A3. 命题p: "x是偶数",命题q: "x是3的倍数",下列逻辑运算中,表示"x是6的倍数"的是:A. p∧qB. p∨qC. ¬p∧¬qD. ¬p∨¬q答案:A4. 有向图G中,若存在从顶点u到顶点v的有向路径,则称顶点u可达顶点v。

若G中任意两个顶点都相互可达,则称G为:A. 强连通图B. 弱连通图C. 无向图D. 有向无环图答案:A5. 在二进制数系统中,下列哪个数的值最大?A. 1010B. 1100C. 1110D. 1101答案:C6. 布尔代数中,逻辑或运算符表示为:A. ∧B. ∨C. ¬D. →答案:B7. 有限自动机中,状态q0是初始状态,状态q1是接受状态。

若存在从q0到q1的ε-转移,则该自动机:A. 仅在输入为空时接受B. 仅在输入非空时接受C. 无论输入为何都接受D. 无法确定是否接受答案:C8. 命题逻辑中,若命题p和q都为真,则p∧q的真值是:A. 真B. 假C. 可能为真,也可能为假D. 无法确定答案:A9. 集合{1,2,3}的子集个数为:A. 4B. 6C. 7D. 8答案:D10. 若关系R在集合A上是自反的,则对于A中的任意元素a,有:A. (a,a)∈RB. (a,a)∉RC. (a,a)是R的自反对D. (a,a)不是R的自反对答案:A二、填空题(每题3分,共15分)1. 集合A={1,2,3}的幂集包含__个元素。

答案:82. 若函数f: X→Y是满射,则对于Y中的任意元素y,至少存在X中的一个元素x,使得f(x)=__。

离散数学考试试题(A卷及答案)

离散数学考试试题(A卷及答案)

离散数学考试试题(A 卷及答案)一、 (10 分)判断下列公式的类型(永真式、永假式、可满足式)?1)((P Q)∧Q)一 ((Q∨R)∧Q) 2)((Q P)∨P)∧ (P∨R)3)((P∨Q)R)((P∧Q)∨R)解: 1)永真式; 2) 永假式; 3)可满足式。

二、 (8 分) 个体域为{1, 2},求x3y (x+y=4)的真值。

解:x3y (x+y=4) 一 x ((x+1=4)∨(x+2=4))一((1+1=4)∨(1+2=4))∧((2+1=4)∨(2+1=4))一(0∨0)∧(0∨1)一1∧1一0三、 (8 分) 已知集合 A 和 B 且|A|=n, |B|=m,求 A 到 B 的二元关系数是多少? A 到 B 的函数数是多少?解:因为|P(A×B) |=2|A×B|=2|A| |B|=2mn,所以 A 到 B 的二元关系有 2mn 个。

因为|BA|= |B| |A|=mn,所以 A 到 B 的函数 mn 个。

四、 (10 分) 已知 A={1,2,3,4,5}和 R={<1,2>,<2,1>,<2,3>,<3,4>,<5,4>},求 r(R) 、s(R)和 t(R)。

解: r(R)={<1,2>,<2,1>,<2,3>,<3,4>,<5,4>,<1,1>,<2,2>,<3,3>,<4,4>,<5,5>} s(R)={<1,2>,<2,1>,<2,3>,<3,4>,<5,4>,<3,2>,<4,3>,<4,5>}t(R)={<1,2>,<2,1>,<2,3>,<3,4>,<5,4>,<1,1>,<1,3>,<2,2>,<2,4>,<1,4>}五、 (10 分) 75 个儿童到公园游乐场,他们在那里可以骑旋转木马,坐滑行铁道,乘宇宙飞船,已知其中20 人这三种东西都乘过,其中 55 人至少乘坐过其中的两种。

离散数学历年考试证明题

离散数学历年考试证明题

离散数学历年考试证明题第一篇:离散数学历年考试证明题1、试证明集合等式A⋂(B⋃C)=(A⋂B)⋃(A⋂C).证明:设S=A∩(B∪C),T=(A∩B)∪(A∩C),若x∈S,则x∈A且x∈B∪C,即x∈A且x∈B 或x∈A且x∈C,也即x∈A∩B 或x∈A∩C,即x∈T,所以S⊆T.反之,若x∈T,则x∈A∩B 或x∈A∩C,即x∈A且x∈B 或x∈A 且x∈C,也即x∈A且x∈B∪C,即x∈S,所以T⊆S.因此T=S.2、试证明集合等式A⋃(B⋂C)=(A⋃B)⋂(A⋃C).证明:设S= A⋃(B⋂C),T=(A⋃B)⋂(A⋃C),若x∈S,则x∈A或x∈B⋂C,即x∈A或x∈B 且x∈A或x∈C.也即x∈A⋃B 且x∈A⋃C,即x∈T,所以S⊆T.反之,若x∈T,则x∈A⋃B 且x∈A⋃C,即x∈A或x∈B 且x∈A 或x∈C,也即x∈A或x∈B⋂C,即x∈S,所以T⊆S.因此T=S.3、试证明(∃x)(P(x)∧R(x))⇒(∃x)P(x)∧(∃x)R (x).证明:(1)(∃x)(P(x)∧R(x))P(2)P(a)∧R(a)ES(1)(3)P(a)T(2)I(4)(∃x)P(x)EG(3)(5)R(a)T(2)I(6)(∃x)R(x)EG(5)(7)(∃x)P(x)∧(∃x)R(x)T(5)(6)I4、设A,B是任意集合,试证明:若A⨯A=B⨯B,则A=B.证明:设x∈A,则∈A⨯A,因为A⨯A=B⨯B,故∈B⨯B,则有x∈B,所以A⊆B.设x∈B,则∈B⨯B,因为A⨯A=B⨯B,故∈A⨯A,则有x∈A,所以B⊆A.故得A=B.5、设G是一个n阶无向简单图,n是大于等于2的奇数.证明G 与G中的奇数度顶点个数相等(G是G的补图).证明:因为n是奇数,所以n阶完全图每个顶点度数为偶数,因此,若G中顶点v的度数为奇数,则在G中v的度数一定也是奇数,所以G与G中的奇数度顶点个数相等.6.设连通图G有k个奇数度的结点,证明在图G中至少要添加欧拉图.证明:由定理3.1.2,任何图中度数为奇数的结点必是偶数,可知k是偶数.又根据定理4.1.1的推论,图G是欧拉图的充分必要条件是图G 不含奇数度结点.因此只要在每对奇数度结点之间各加一条边,使图G的所有结点的度数变为偶数,成为欧拉图.故最少要加k条边才能使其成为2k条边到图G才能使其成为欧拉图. 27.设R是集合A上的对称关系和传递关系,试证明:若对任意a∈A,存在b∈A,使得∈R,则R是等价关系.证明:已知R是对称关系和传递关系,只需证明R是自反关系.∀a∈A,∃b∈A,使得∈R,因为R是对称的,故∈R;又R是传递的,即当∈R,∈R ⇒∈R;由元素a的任意性,知R是自反的.所以,R是等价关系.8.若非空集合A上的二元关系R和S是偏序关系,试证明:R⋂S 也是A上的偏序关系.证明:.① ∀x∈A,<x,x>∈R,<x,x>∈S⇒<x,x>∈R⋂S,所以R⋂S有自反性;②∀x,y∈A,因为R,S是反对称的,<x,y>R⋂S∧<y,x>R⋂S⇔(<x,y>∈R∧<x,y>∈S)∧(<y,x>∈R∧<y,x>∈S)⇔(<x ,y>∈R∧<y,x>∈R)∧(<x,y>∈S∧<y,x>∈S)⇔x=y∧y=x⇔x=y 所以,R⋂S有反对称性.③∀x,y,z∈A,因为R,S是传递的,<x,y>∈R⋂S∧<y,z>∈R⋂S⇔<x,y>∈R∧<x,y>∈S∧<y,z>∈R∧<y,z>∈S⇔<x,y>∈R∧<y,z>∈R∧<x,y>∈S∧<y,z>∈S⇒<x,z>∈R∧<x,z>∈S⇔<x,z>∈R⋂S所以,R⋂S有传递性.总之,R是偏序关系.9.试证明命题公式(P→(Q∨⌝R))∧⌝P∧Q与⌝(P∨⌝Q)等价.证明:(P→(Q∨⌝R))∧⌝P∧Q⇔(⌝P∨(Q∨⌝R))∧⌝P∧Q⇔(⌝P∨Q∨⌝R)∧⌝P∧Q⇔(⌝P∧⌝P∧Q)∨(Q∧⌝P∧Q)∨(⌝R∧⌝P∧Q)⇔(⌝P∧Q)∨(⌝P∧Q)∨(⌝P∧Q∧⌝R)⇔⌝P∧Q(吸收律)⇔⌝(P∨⌝Q)(摩根律)10.试证明(∃x)(P(x)∧R(x))⇒(∃x)P(x)∧(∃x)R(x).证明:(1)(∃x)(P(x)∧R(x))P(2)P(a)∧R(a)ES(1)(3)P(a)T(2)I(4)(∃x)P(x)EG(3)(5)R(a)T(2)I(6)(∃x)R(x)EG(5)(7)(∃x)P(x)∧(∃x)R(x)T(5)(6)I11.若无向图G中只有两个奇数度结点,则这两个结点一定是连通的.证明:用反证法.设G中的两个奇数度结点分别为u和v.假设u 和v不连通,即它们之间无任何通路,则G至少有两个连通分支G1,G2,且u和v分别属于G1和G2,于是G1和G2各含有一个奇数度结点.这与定理3.1.2的推论矛盾.因而u和v一定是连通的.12.设G是一个n阶无向简单图,n是大于等于2的奇数.证明图G与它的补图G中的奇数度顶点个数相等.证明:设G=<V,E>,=<V,E'>.则E'是由n阶无向完全图Kn的边删去E所得到的.所以对于任意结点u∈V,u在G和G中的度数之和等于u在Kn中的度数.由于n是大于等于2的奇数,从而Kn的每个结点都是偶数度的(n-1(≥2)度),于是若u∈V在G中是奇数度结点,则它在G中也是奇数度结点.故图G与它的补图G中的奇数度结点个数相等.13.设连通图G有k个奇数度的结点,证明在图G中至少要添加欧拉图. k条边才能使其成为2证明:由定理3.1.2,任何图中度数为奇数的结点必是偶数,可知k是偶数.又根据定理4.1.1的推论,图G是欧拉图的充分必要条件是图G 不含奇数度结点.因此只要在每对奇数度结点之间各加一条边,使图G的所有结点的度数变为偶数,成为欧拉图.故最少要加k条边到图G才能使其成为欧拉图. 2第二篇:离散数学证明题证明题1.用等值演算法证明下列等值式:(1)┐(P↔Q)⇔(P∨Q)∧┐(P∧Q)(2)(P∧┐Q)∨(┐P∧Q)⇔(P∨Q)∧┐(P∧Q)证明:(1)┐(P↔Q)⇔┐((P→Q)∧(Q→P))⇔┐((┐P∨Q)∧(┐Q∨P))⇔(P∧┐Q)∨(Q∧┐P)⇔(P∨Q)∧(P∨┐P)∧(┐Q∨Q)∧(┐P∨┐Q)⇔(P∨Q)∧┐(P∧Q)(2)(P∧┐Q)∨(┐P∧Q)⇔(P∨┐P)∧(P∨Q)∧(┐Q∨┐P)∧(┐Q∨Q)⇔(P∨Q)∧┐(P∧Q)2.构造下列推理的证明:(1)前提:⌝(P→Q)→⌝(R∨S),(Q→P)∨⌝R,R前提:P Q。

离散数学试题带答案(三)

离散数学试题带答案(三)

离散数学试题带答案一、填空题1设集合A,B,其中A={1,2,3}, B= {1,2}, 则A - B={3} ; ρ(A) - ρ(B)={3},{1,3},{2,3},{1,2,3}} .2. 设有限集合A, |A| = n, 则|ρ(A×A)| = 22n.3.设集合A = {a, b}, B = {1, 2}, 则从A到B的所有映射是α1= {(a,1), (b,1)}, α2= {(a,2), (b,2)},α3= {(a,1), (b,2)}, α4= {(a,2), (b,1)}, 其中双射的是α3, α4 .4. 已知命题公式G=⌝(P→Q)∧R,则G的主析取范式是(P∧⌝Q∧R)5.设G是完全二叉树,G有7个点,其中4个叶点,则G的总度数为12,分枝点数为3.6设A、B为两个集合, A= {1,2,4}, B = {3,4}, 则从A⋂B={4} ; A⋃B={1,2,3,4};A-B={1,2} .7.设R是集合A上的等价关系,则R所具有的关系的三个特性是自反性, 对称性传递性.8. 设命题公式G=⌝(P→(Q∧R)),则使公式G为真的解释有(1, 0, 0), (1, 0, 1),(1, 1, 0)9. 设集合A={1,2,3,4}, A上的关系R1 = {(1,4),(2,3),(3,2)}, R2 = {(2,1),(3,2),(4,3)}, 则R1•R2 ={(1,3),(2,2),(3,1)} , R2•R1 = {(2,4),(3,3),(4,2)} _R12 ={(2,2),(3,3).10. 设有限集A, B,|A| = m, |B| = n, 则| |ρ(A⨯B)| = .11设A,B,R是三个集合,其中R是实数集,A = {x | -1≤x≤1, x∈R}, B = {x | 0≤x < 2, x∈R},则A-B = -1<=x<0 , B-A = {x | 1 < x < 2, x∈R} ,A∩B ={x | 0≤x≤1, x∈R} , .13.设集合A={2, 3, 4, 5, 6},R是A上的整除关系,则R以集合形式(列举法)记为{(2, 2),(2, 4),(2, 6),(3, 3),(3, 6),(4, 4),(5, 5),(6, 6)} .14. 设一阶逻辑公式G = ∀xP(x)→∃xQ(x),则G的前束范式是∃x(⌝P(x)∨Q(x)) .15.设G是具有8个顶点的树,则G中增加21 条边才能把G变成完全图。

离散证明题

离散证明题

离散数学证明题专项训练——09软件2班 金信冬1. 设<G ,*>是群,具有幺元e ,如果对G 的任意元素a ,都有 a²=e, 则<G ,*>是交换群证明:由条件e a =2,所以1-=a a ,则对任意的a ,b ,11-*-=*b a b a另外,由e b a =*2)(,得e b a b a b a =***=*)()(2)(,两边同时左乘以1-a ,右乘以1-b ,利用结合律,得11-*-=*b a a b 所以a b b a *=*,<G ,*>是交换群2.试证明:R S Q P S R Q P →⇒∧∨⌝∧→→)())(( 证明(1) SCP 规则 (2) ⌝S ∨PP(3) P(1),(2)析取三段论(4) P →(Q →R) P (5)Q →R (3),(4)假言推理 (6)QP(7)R(5),(6)假言推理3.设 A,B 为两个集合,证明 A —B=A 当且仅当A ∩B= ø证明:A —B=AA ∩~B=A =>A ∩~B ∩B=A ∩B=>A∩B= øA∩B= ø=>(A∩B)∪~B=~B=>A∪~B=~B=>A∩(A∪~B)=A∩~B=>A∪(A∩~B)=A-B=>A=A-B4. 设R,S都是非空集合A上的二元关系,且他们是对称的,证明:RoS具有对称性当且仅当 RoS=SoR.证明:1)必要性对于任意<x,y>∈RoS<=><y.x>RoS<=>存在z(<y,z>∈S ∧<z,x>∈R)<=>存在z(<z,y>∈S ∧<x,z>∈R)<=><x,y>∈SoR所以RoS=SoR.2)充分性对于任意<x,y>∈RoS<=> <x,y>∈SoR<=>存在z(<x,z>∈R ∧<z,y>∈S)<=>存在z(<y,z>∈S ∧<z,x>∈R)<=><y,x>∈RoS所以:RoS具有对称性。

离散数学期末考试题及答案

离散数学期末考试题及答案

离散数学期末考试题及答案一、选择题(每题2分,共20分)1. 在集合论中,表示两个集合A和B的并集的符号是:A. ∩B. ∪C. ⊂D. ⊆2. 以下哪个命题逻辑表达式是真命题,当P为真,Q为假时?A. ¬PB. P ∧ QC. P ∨ QD. P → Q3. 如果函数f: A → B是一个单射,那么它不能是:A. 满射B. 双射C. 恒等函数D. 逆函数4. 在图论中,一个图G是连通的,当且仅当:A. G是无向图B. G是简单图C. G是完全图D. 对于任意两个顶点,都存在一条路径5. 以下哪个不是组合数学中的计数原理?A. 加法原理B. 乘法原理C. 排列D. 组合二、简答题(每题10分,共30分)6. 解释什么是二元关系,并给出一个例子。

7. 描述什么是有向图和无向图的区别。

8. 什么是等价关系,它有哪些性质?三、计算题(每题15分,共30分)9. 给定集合A = {1, 2, 3, 4},B = {a, b, c},定义函数f: A → B,其中f(1) = a, f(2) = b, f(3) = c, f(4) = a。

判断f是否是单射、满射或双射,并给出理由。

10. 计算以下命题逻辑表达式的真值表:(P ∧ Q) → (¬P ∨ R),其中P、Q、R是命题变量。

四、证明题(每题20分,共20分)11. 证明:如果一个图G是连通的,那么它的任意子图也是连通的。

答案一、选择题1. B2. C3. A4. D5. D二、简答题6. 二元关系是定义在两个集合上的一个关系,它将第一个集合中的每个元素与第二个集合中的元素相关联。

例如,如果A是人名的集合,B是年龄的集合,关系R可以是“比...年长”,那么(Alice, 30) ∈ R表示Alice比30岁年长。

7. 有向图由顶点和有向边组成,每条边都有一个方向,表示从一个顶点指向另一个顶点。

无向图由顶点和无向边组成,边没有方向。

《离散数学》复习练习题带答案(六)

《离散数学》复习练习题带答案(六)

离散数学试题带答案四、证明题1. 设<G ,*>是群,具有幺元e ,如果对G 的任意元素a ,都有 a²=e, 则<G ,*>是交换群2. 形式证明q s p r s r q p ⇒∧⌝→∨→,,3. 证明:P →(Q →R)⇔P ∧Q →R.4.试证明:R S Q P S R Q P →⇒∧∨⌝∧→→)())(( 5.试证明:Q R R Q Q P ⌝⇒⌝∧∨⌝∧⌝∧⌝)()( 6. 证明:)()(x xB x xA ∀→∃⇒))()((x B x A x →∀7.设G 是图,无回路,但若外加任意一条边于G 后,就形成一回路. 试证明G 必为树. 8. 设B 是任意集合,试验证(P(B),⊕)是群. P(B)是集合B 的幂集,⊕是集合的对称差运算, 9.给定代数系统(G,+,*), 二元运算见表一,表二.表一 表二证明(G ,+,*)是域.10. 证明如果非空集合A 上的二元关系R 和S 是偏序关系,则S R ⋂也是A 上的偏序关系. 11.试证A -(B -C)=(A -B)⋃(A ⋂C)12.设非空集合A ,验证(A A P ,~,,,),(∅⋂⋃)是布尔代数,13. 试证明属于关系不满足传递性,即对于任意的集合A,B,C 若A ∈B 且B ∈C 不一定有 A ∈C14.设 A,B 为两个集合,证明 A —B=A 当且仅当A ∩B= ø15. 设R,S 都是非空集合A 上的二元关系,且他们是对称的,证明:RoS 具有对称性当且仅当 RoS=SoR.16. 已知g :A->B,f :B->C1) 已知fog 是单射的且g 是满射的,证明f 是单射的 2) 已知fog 是满射的且f 是单射的,证明g 是满射的 17.设A 是传递集,证明A+也是传递集。

18.设G 是n 阶无向简单图,其直径为d(G)=2, ο(G)=n-2,证明G 的边数m ≥2n-4 19.V=<S,*>是可交换半群,若a,b ∈S 是V 中得幂等元,证明a*b 也是V 中的幂等元20.设 L 是格,证明对于任意a,b,c,d ∈L 有:( a ∧b)∨(c ∧d)≤(a ∨c)∧(b ∨d)五、计算题1. 无向树T 有2个2度顶点,1个3度顶点,3个4度顶点,其他的都是树叶,问T 中有多少片树叶?2. 设公式()()x Q x P → ,其中P(x):x>2,Q(x):x=0,F 是永假式,个体域是{1,2},求公式A(x)的真值 3. 设集合X={1,2,3, 4},X 中的关系为F={<1,1>,<1,2>,<1,4>,<2,1>,<2,2>,<3,3>,<4,1>,<4,4>} 写出F 的关系矩阵及其关系图,F 有哪些性质?4. (1) n(n ≥1)阶无向完全图与有向完全图各有多少条边?为什么? (2)完全二部图K m n ,中共有多少条边?为什么?(3) 每个顶点的度都为k 的无向图称为k 正则图,问:n 阶k 正则图中共有多少条边?为什么?5. 设集合L={a ,b},在L 中规定 + 和·如下:a+a=a ,a+b=b+a=b ,b+b=b a ·a=a ,a ·b=b ·a=a ,b ·b=b问<L ,+,·>能构成代数系统吗?若可以,写出该代数系统的运算表。

《离散数学》试卷及答案精选全文完整版

《离散数学》试卷及答案精选全文完整版
解 设谓词Q(x):x是勤奋的;
H(x):x是身体健康的;
S(x):x是科学家
C(x):x是事业获得成功的人
置换规则。
3、设集合|A|=101,S ,且|S|为奇数,则这样的S有2101/2或2100个。
4、设mi是公式G的的主析取范式中的一个极小项,则mi的对偶式不一定是(填“是”/“不是”/“不一定是” ) G的主合取范式中的一个极大项。
5、由3个元素组成的有限集上所有的等价关系有5个
6、给定解释I如下: (1) Di:={2,3}; (2) a=3; (3) 函数f(x)为f(2)=2,f(3)=3; (4) 谓词:F(x)为F(2):=1,F(3):=0;G(x,y)为当i=j时,G(i,j):=1;当i≠j时,G(i,j):=0;其中i,j=2,3;
ac>0并且cu>0
若u>0,则c>0,a>0,因此有ac>0;
若u<0,则c<0,a<0, 也有ac>0;
因此有(a+bi)R(u+vi)
所以R在C*是传递的。所以R是C*上的等价关系。
2、在一阶逻辑自然推理系统F中,构造下面推理的证明。个体域是人的集合。
“每位科学家都是勤奋的,每个勤奋又身体健康的人在事业中都会获得成功。存在着身体健康的科学家。所以,存在着事业获得成功的人。”(15分)
2.设A={1,2,3…10},定义A上的二元关系R={<x,y>|x,y∈A∩x+y=10},试讨论R关于关系的五个方面的性质并说明理由(5分)
解答:R={<1,9>,<9,1>,<2,8>,<8, 2 >,<3,7>,<7,3>,<4,6>,<6, 4 >,<5, 5 >}

(完整版)《离散数学》试题及答案解析,推荐文档

(完整版)《离散数学》试题及答案解析,推荐文档

则在解释 I 下取真值为 1 的公式是( ).
(A)xyP(x,y) (B)xyP(x,y) (C)xP(x,x) (D)xyP(x,y). 6. 若供选择答案中的数值表示一个简单图中各个顶点的度,能画出图的是( ).
(A)(1,2,2,3,4,5) (B)(1,2,3,4,5,5) (C)(1,1,1,2,3) (D)(2,3,3,4,5,6). 7. 设 G、H 是一阶逻辑公式,P 是一个谓词,G=xP(x), H=xP(x),则一阶逻辑公式
(A)下界 (B)上界 (C)最小上界
(D)以上答案都不对
6
4 下列语句中,( )是命题。
5
(A)请把门关上 (B)地球外的星球上也有人 (C)x + 5 > 6 (D)下午有会吗?
3
4
2
5 设 I 是如下一个解释:D={a,b}, P(a, a) P(a, b) P(b, a) P(b, b)
1
1010
AB=_________________________;A-B= _____________________ . 7. 设 R 是集合 A 上的等价关系,则 R 所具有的关系的三个特性是______________________,
________________________, _______________________________. 8. 设命题公式 G=(P(QR)),则使公式 G 为真的解释有
(1)
1
4
2
3
1 0 0 0
(2)
MR
1 1
1 1
0 1
0 0
1 1 1 1
3. (1)•=((x))=(x)+3=2x+3=2x+3.

离散数学试题与参考答案

离散数学试题与参考答案

《离散数学》试题及答案一、选择题:本题共5小题,每小题3分,共15分,在每小题给出的四个选项中,只有一项是符合题目要求的。

1. 命题公式Q Q P →∨)(为 ( )(A) 矛盾式 (B) 可满足式 (C) 重言式 (D) 合取范式2.设P 表示“天下大雨”, Q 表示“他在室内运动”,则命题“除非天下大雨,否则他不在室内运动”符号化为( )。

(A). P Q →; (B).P Q ∧; (C).P Q ⌝→⌝; (D).P Q ⌝∨.3.设集合A ={{1,2,3}, {4,5}, {6,7,8}},则下式为真的是( )(A) 1∈A (B) {1,2, 3}⊆A(C) {{4,5}}⊂A (D) ∅∈A4. 设A ={1,2},B ={a ,b ,c },C ={c ,d }, 则A ×(B ⋂C )= ( )(A) {<1,c >,<2,c >} (B) {<c ,1>,<2,c >} (C) {<c ,1><c ,2>,} (D) {<1,c >,<c ,2>}5. 设G 如右图:那么G 不是( ). (A)哈密顿图; (B)完全图;(C)欧拉图; (D) 平面图.二、填空题:本大题共5小题,每小题4分,共206. 设集合A ={∅,{a }},则A 的幂集P (A )=7. 设集合A ={1,2,3,4 }, B ={6,8,12}, A 到B 的关系R =},,2,{B y A x x y y x ∈∈=><,那么R -1=8. 在“同学,老乡,亲戚,朋友”四个关系中_______是等价关系.9. 写出一个不含“→”的逻辑联结词的完备集 .10.设X ={a ,b ,c },R 是X 上的二元关系,其关系矩阵为 M R =⎥⎥⎥⎦⎤⎢⎢⎢⎣⎡001001101,那么R 的关系图为三、证明题(共30分)11. (10分)已知A 、B 、C 是三个集合,证明A ∩(B ∪C)=(A ∩B)∪(A ∩C)12. (10分)构造证明:(P →(Q →S))∧(⌝R ∨P)∧Q ⇒R →S13.(10分)证明(0,1)与[0,1),[0,1)与[0,1]等势。

离散数学证明题

离散数学证明题

离散数学证明题离散数学证明题离散数学证明题离散数学证明题:链为分配格证明设a,b均是链A的元素,因为链中任意两个元素均可比较,即有a≤b或a≤b,如果a≤b,则a,b的最大下界是a,最小上界是b,如果b≤a,则a,b的最大下界是b,最小上界是a,故链一定是格,下面证明分配律成立即可,对A中任意元素a,b,c分下面两种情况讨论:⑴b≤a或c≤a⑵a≤b且a≤c如果是第⑴种情况,则a∪(b∩c)=a=(a∪b)∩(a∪c)如果是第⑵种情况,则a∪(b∩c)=b∩c=(a∪b)∩(a∪c)无论那种情况分配律均成立,故A是分配格.一.线性插值(一次插值)已知函数f(x)在区间[xk ,xk+1 ]的端点上的函数值yk =f(xk ), yk+1 = f(xk+1 ),求一个一次函数y=P1 (x)使得yk =f(xk ),yk+1 =f(xk+1 ), 其几何意义是已知平面上两点(xk ,yk ),(xk+1 ,yk+1 ),求一条直线过该已知两点。

1. 插值函数和插值基函数由直线的点斜式公式可知:把此式按照 yk 和yk+1 写成两项:记并称它们为一次插值基函数。

该基函数的特点如下表:从而P1 (x) = yk lk (x) + yk+1 lk+1 (x)此形式称之为拉格朗日型插值多项式。

其中, 插值基函数与yk 、yk+1 无关,而由插值结点xk 、xk+1 所决定。

一次插值多项式是插值基函数的线性组合, 相应的组合系数是该点的函数值yk 、yk+1 .例1: 已知lg10=1,lg20=1.3010, 利用插值一次多项式求lg12的近似值。

解: f(x)=lgx,f(10)=1,f(20)=1.3010, 设x0 =10 ,x1 =20 ,y0 =1 ,y1 =1.3010则插值基函数为:于是, 拉格朗日型一次插值多项式为:故 :即lg12 由lg10 和lg20 两个值的线性插值得到,且具有两位有效数字(精确值lg12=1.0792).二.二次插值多项式已知函数y=f(x)在点xk-1 ,xk ,xk+1 上的函数值yk-1 =f(xk-1 ),yk =f(xk ), yk+1 =f(xk+1 ), 求一个次数不超过二次的多项式P2 (x), 使其满足,P2 (xk-1 )=yk-1 , P2 (xk )=yk , P2 (xk+1 )=yk+1 .其几何意义为:已知平面上的三个点(xk-1 ,yk-1 ),(xk ,yk ),(xk+1 ,yk+1 ),求一个二次抛物线, 使得该抛物线经过这三点。

  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

1、试证明集合等式A ⋂ (B ⋃C )=(A ⋂B ) ⋃ (A ⋂C ).
证明:
设S =A ∩(B ∪C ),T =(A ∩B )∪(A ∩C ),
若x ∈S ,则x ∈A 且x ∈B ∪C ,即 x ∈A 且x ∈B 或 x ∈A 且x ∈C ,也即x ∈A ∩B 或 x ∈A ∩C ,即 x ∈T ,所以S ⊆T .
反之,若x ∈T ,则x ∈A ∩B 或 x ∈A ∩C ,
即x ∈A 且x ∈B 或 x ∈A 且x ∈C ,也即x ∈A 且x ∈B ∪C ,即x ∈S ,所以T ⊆S . 因此T =S .
2、试证明集合等式A ⋃ (B ⋂C )=(A ⋃B ) ⋂ (A ⋃C ) .
证明:设S = A ⋃ (B ⋂C ),T =(A ⋃B ) ⋂ (A ⋃C ),若x ∈S ,则x ∈A 或x ∈B ⋂C ,即 x ∈A 或x ∈B 且 x ∈A 或x ∈C .
也即x ∈A ⋃B 且 x ∈A ⋃C ,即 x ∈T ,所以S ⊆T .
反之,若x ∈T ,则x ∈A ⋃B 且 x ∈A ⋃C , 即x ∈A 或x ∈B 且 x ∈A 或x ∈C ,
也即x ∈A 或x ∈B ⋂C ,即x ∈S ,所以T ⊆S .
因此T =S .
3、试证明(∃x )(P (x )∧R (x ))⇒ (∃x )P (x )∧(∃x )R (x ).
证明:
(1)(∃x )(P (x )∧R (x )) P (2)P (a )∧R (a ) ES(1)
(3)P (a ) T(2)I (4)(∃x )P (x ) EG(3)
(5)R (a ) T(2)I (6)(∃x )R (x ) EG(5)
(7)(∃x )P (x )∧(∃x )R (x )T(5)(6)I
4、设A ,B 是任意集合,试证明:若A ⨯A=B ⨯B ,则A=B .
证明:设x ∈A ,则<x ,x >∈A ⨯A ,因为A ⨯A=B ⨯B ,故<x ,x >∈B ⨯B ,则有x ∈B ,所以A ⊆B . 设x ∈B ,则<x ,x >∈B ⨯B ,因为A ⨯A=B ⨯B ,故<x ,x >∈A ⨯A ,则有x ∈A ,所以B ⊆A . 故得A=B .
5、设G 是一个n 阶无向简单图,n 是大于等于2的奇数.证明G 与G 中的奇数度顶点个数相等(G 是G 的补图).
证明:因为n 是奇数,所以n 阶完全图每个顶点度数为偶数,因此,若G 中顶点v 的度数为奇数,则在G 中v 的度数一定也是奇数,所以G 与G 中的奇数度顶点个数相等.
6.设连通图G 有k 个奇数度的结点,证明在图G 中至少要添加
2k 条边才能使其成为欧拉图.
证明:由定理3.1.2,任何图中度数为奇数的结点必是偶数,可知k 是偶数.
又根据定理4.1.1的推论,图G 是欧拉图的充分必要条件是图G 不含奇数度结点.因此只要在每对奇数度结点之间各加一条边,使图G 的所有结点的度数变为偶数,成为欧拉图. 故最少要加2
k 条边到图G 才能使其成为欧拉图. 7.设R 是集合A 上的对称关系和传递关系,试证明:若对任意a ∈A ,存在b ∈A ,使得<a , b >∈R ,则R 是等价关系.
证明:已知R 是对称关系和传递关系,只需证明R 是自反关系.
∀a ∈A ,∃b ∈A ,使得<a , b >∈R ,因为R 是对称的,故<b , a >∈R ;
又R 是传递的,即当<a , b >∈R ,<b , a >∈R ⇒<a , a >∈R ;
由元素a 的任意性,知R 是自反的.
所以,R 是等价关系.
8.若非空集合A 上的二元关系R 和S 是偏序关系,试证明:S R ⋂也是A 上的偏序关系.
证明:.① S R x x S x x R x x A x ⋂>∈⇒<>∈<>∈<∈∀,,,,,,所以S R ⋂有自反性; ②,,A y x ∈∀因为R ,S 是反对称的,
y x x y y x S x y S y x R x y R y x S x y R x y S y x R y x S R x y S R y x =⇔=∧=⇔>∈<∧>∈<∧>∈<∧>∈<⇔>∈<∧>∈<∧>∈<∧>∈<⇔⋂><∧⋂><),,(),,(),,(),,(,, 所以,R ⋂S 有反对称性.
③ A z y x ∈∀,,,因为R ,S 是传递的,
S R z y S R y x ⋂>∈<∧⋂>∈<,,
S z y R z y S y x R y x >∈<∧>∈<∧>∈<∧>∈⇔<,,,,
S z y S y x R z y R y x >∈<∧>∈<∧>∈<∧>∈⇔<,,,,
S R z x S z x R z x ⋂>∈⇔<>∈<∧>∈⇒<,,,
所以,S R ⋂有传递性.
总之,R 是偏序关系.
9.试证明命题公式 (P →(Q ∨⌝R ))∧⌝P ∧Q 与⌝(P ∨⌝Q )等价.
证明:(P →(Q ∨⌝R ))∧⌝P ∧Q
⇔(⌝P ∨(Q ∨⌝R ))∧⌝P ∧Q ⇔(⌝P ∨Q ∨⌝R )∧⌝P ∧Q
⇔(⌝P ∧⌝P ∧Q )∨(Q ∧⌝P ∧Q )∨(⌝R ∧⌝P ∧Q )
⇔(⌝P ∧Q )∨(⌝P ∧Q )∨(⌝P ∧Q ∧⌝R )⇔⌝P ∧Q (吸收律)
⇔⌝(P ∨⌝Q ) (摩根律)
10.试证明(∃x )(P (x )∧R (x ))⇒ (∃x )P (x )∧(∃x )R (x ).
证明:(1)(∃x )(P (x )∧R (x ))P
(2)P (a )∧R (a ) ES(1) (3)P (a ) T(2)I
(4)(∃x )P (x ) EG(3) (5)R (a ) T(2)I
(6)(∃x )R (x ) EG(5) (7)(∃x )P (x )∧(∃x )R (x )T(5)(6)I
11.若无向图G 中只有两个奇数度结点,则这两个结点一定是连通的.
证明:用反证法.设G 中的两个奇数度结点分别为u 和v .假设u 和v 不连通,即它们之间无任何通路,则G 至少有两个连通分支G 1,G 2,且u 和v 分别属于G 1和G 2,于是G 1和G 2各含有一个奇数度结点.这与定理3.1.2的推论矛盾.因而u 和v 一定是连通的.
12.设G 是一个n 阶无向简单图,n 是大于等于2的奇数.证明图G 与它的补图G 中的奇数度顶点个数相等.
证明:设,G V E =<>,,G V E '=<>.则E '是由n 阶无向完全图n K 的边删去E 所得到的.所以对于任意结点u V ∈,u 在G 和G 中的度数之和等于u 在n K 中的度数.由于n 是大于等于2的奇数,从而n K 的每个结点都是偶数度的( 1 (2)n -≥度),于是若u V ∈在G 中是奇数度结点,则它在G 中也是奇数度结点.故图G 与它的补图G 中的奇数度结点个数相等.
13.设连通图G 有k 个奇数度的结点,证明在图G 中至少要添加
2
k 条边才能使其成为欧拉图. 证明:由定理3.1.2,任何图中度数为奇数的结点必是偶数,可知k 是偶数.
又根据定理4.1.1的推论,图G 是欧拉图的充分必要条件是图G 不含奇数度结点.因此只要在每对奇数度结点之间各加一条边,使图G 的所有结点的度数变为偶数,成为欧拉图. 故最少要加2k 条边到图G 才能使其成为欧拉图.。

相关文档
最新文档