离散数学复习题题库证明题

合集下载

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

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

一、证明下列各题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 卷答案)一、(10分)证明⌝(A ∨B )→⌝(P ∨Q ),P ,(B →A )∨⌝P A 。

二、(10分)甲、乙、丙、丁4个人有且仅有2个人参加围棋优胜比赛。

关于谁参加竞赛,下列4种判断都是正确的:(1)甲和乙只有一人参加;(2)丙参加,丁必参加;(3)乙或丁至多参加一人;(4)丁不参加,甲也不会参加。

请推出哪两个人参加了围棋比赛。

三、(10分)指出下列推理中,在哪些步骤上有错误?为什么?给出正确的推理形式。

(1)∀x (P (x )→Q (x )) P(2)P (y )→Q (y ) T (1),US(3)∃xP (x ) P(4)P (y ) T (3),ES(5)Q (y ) T (2)(4),I(6)∃xQ (x ) T (5),EG四、(10分)设A ={a ,b ,c},试给出A 上的一个二元关系R ,使其同时不满足自反性、反自反性、五、(15分)设函数g :A →B ,f :B →C ,(1)若f g 是满射,则f 是满射。

(2)若f g 是单射,则g 是单射。

六、(15分)设R 是集合A 上的一个具有传递和自反性质的关系,T 是A 上的关系,使得<a ,b >∈T ⇔<a ,b >∈R 且<b ,a >∈R ,证明T 是一个等价关系。

七、(15分)若<G ,*>是群,H 是G 的非空子集,则<H ,*>是<G ,*>的子群⇔对任意的a 、b ∈H 有a *b -1∈H 。

八、(15分)(1)若无向图G 中只有两个奇数度结点,则这两个结点一定是连通的。

(2)若有向图G 中只有两个奇数度结点,它们一个可达另一个结点或互相可达吗?离散数学试题一(B 卷答案)一、(15分)设计一盏电灯的开关电路,要求受3个开关A 、B 、C 的控制:当且仅当A 和C 同时关闭或B 和C 同时关闭时灯亮。

设F 表示灯亮。

离散数学试题及答案

离散数学试题及答案

离散数学试题及答案一、选择题1. 设A、B、C为三个集合,下列哪个式子是成立的?A) \(A \cup (B \cap C) = (A \cup B) \cap (A \cup C)\)B) \(A \cap (B \cup C) = (A \cap B) \cup (A \cap C)\)C) \(A \cup (B \cup C) = (A \cup B) \cup (A \cup C)\)答案:B2. 对于一个有n个元素的集合S,S的幂集中包含多少个元素?A) \(n\)B) \(2^n\)C) \(2 \times n\)答案:B二、判断题1. 对于两个关系R和S,若S是自反的,则R ∩ S也是自反的。

答案:错误2. 若一个关系R是反对称的,则R一定是反自反的。

答案:正确三、填空题1. 有一个集合A,其中包含元素1、2、3、4和5,求集合A的幂集的大小。

答案:322. 设a和b是实数,若a \(\neq\) b,则a和b之间的关系是\(\__\_\)关系。

答案:不等四、解答题1. 证明:如果关系R是自反且传递的,则R一定是反自反的。

解答:假设关系R是自反的且传递的,即对于集合A中的任意元素x,都有(x, x) ∈ R,并且当(x, y) ∈ R和(y, z) ∈ R时,(x, z) ∈ R。

反证法:假设R不是反自反的,即存在一个元素a∈A,使得(a, a) ∉ R。

由于R是自反的,所以(a, a) ∈ R,与假设矛盾。

因此,R一定是反自反的。

答案完整证明了该结论。

2. 已知集合A={1, 2, 3},集合B={2, 3, 4},求集合A和B的笛卡尔积。

解答:集合A和B的笛卡尔积定义为{(a, b) | a∈A,b∈B}。

所以,集合A和B的笛卡尔积为{(1, 2), (1, 3), (1, 4), (2, 2), (2, 3), (2, 4), (3, 2), (3, 3), (3, 4)}。

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

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

数理逻辑习题判断题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.飞碟来自地球外的星球。

《离散数学》题库及标准答案

《离散数学》题库及标准答案

《离散数学》题库及标准答案《离散数学》题库及答案————————————————————————————————作者:————————————————————————————————日期:《离散数学》题库与答案一、选择或填空(数理逻辑部分)1、下列哪些公式为永真蕴含式?( )(1)?Q=>Q→P (2)?Q=>P→Q (3)P=>P→Q (4)?P∧(P∨Q)=>?P答:在第三章里面有公式(1)是附加律,(4)可以由第二章的蕴含等值式求出(注意与吸收律区别)2、下列公式中哪些是永真式?( )(1)(┐P∧Q)→(Q→?R) (2)P→(Q→Q) (3)(P∧Q)→P (4)P→(P∨Q)答:(2),(3),(4)可用蕴含等值式证明3、设有下列公式,请问哪几个是永真蕴涵式?( )(1)P=>P∧Q (2) P∧Q=>P (3) P∧Q=>P∨Q(4)P∧(P→Q)=>Q (5) ?(P→Q)=>P (6) ?P∧(P∨Q)=>?P答:(2)是第三章的化简律,(3)类似附加律,(4)是假言推理,(3),(5),(6)都可以用蕴含等值式来证明出是永真蕴含式4、公式?x((A(x)→B(y,x))∧?z C(y,z))→D(x)中,自由变元是( ),约束变元是( )。

答:x,y, x,z(考察定义在公式?x A和?x A中,称x为指导变元,A为量词的辖域。

在?x A和?x A的辖域中,x的所有出现都称为约束出现,即称x为约束变元,A中不是约束出现的其他变项则称为自由变元。

于是A(x)、B(y,x)和?z C(y,z)中y为自由变元,x和z为约束变元,在D(x)中x为自由变元)5、判断下列语句是不是命题。

若是,给出命题的真值。

( )(1)北京是中华人民共和国的首都。

(2) 陕西师大是一座工厂。

(3) 你喜欢唱歌吗? (4) 若7+8>18,则三角形有4条边。

离散数学复习资料

离散数学复习资料

1.证明永真公式Q14,Q15,Q16,Q17和Q18。

2.证明P(x)∧任意xQ(x)==>存在x(P(x)∧Q(x))3.设论述域是{a1,a2,a3,…an},试证明下列关系式。

(a) 任意xA(x)∧P<==>任意x(A(x)∧P)(b) 任意x(A(x)∧B(x))<==>任意xA(x)∧任意xB(x)(c) 存在x(A(x)∧B(x))<==>存在xA(x)∧存在xB(x)4.证明下列关系式(a) 任意x任意y(P(x)∨P(y))<==>任意xP(x)∨任意yP(y)(b) 存在x存在y(P(x)∧Q(y))==>存在xP(x)(c) 任意x任意y(P(x)∧Q(y))<==>任意xP(x)∧任意yQ(y)(d) 存在x存在y(P(x)->P(y)) <==>任意xP(x)->存在yP(y)(e) 任意x任意y(P(x) ->Q(y)) <==>(存在xP(x)->任意yQ(y))5.写出limf(x)=k的定义的符号形式,并用形成定理两边的否定的方法,找出limf(x)不等x->c x->c于k的条件。

6.给定自然数集合N的下列子集:A={1,2,7,8}B={i|i平方<50}C={i|i可被30整除}D={i|i=2的k次方∧k∈I∧0≤k≤6}求下列集合(a)A∪(B∪(C∪D))(b)A∩(B∩(C∩D))(c)B-(A∪C)(d)(非A∩B) ∪D7.假定A≠空集和A∪B=A∪C,证明这不能得出B=C,假设中增加A∩B=A∩C,你能得出B=C吗?8.(a)证明“相对补”不是一个可交换运算,即证明存在一个论述域包含集合A和B,使A-B≠B-A。

(b)A-B=B-A可能吗?刻划上式出现的全部条件。

(c)“相对补”是一个可结合的运算马?证明你的断言。

9.证明下列恒等式(a)A∪(A∩B)=A(b)A∩(A∪B)=A(c)A-B=A∩非B(d)A∪(非A∩B)=A∪B(e)A∩(非A∪B)=A∩B10.设Sn={a0,a1,…,an}和Sn+1={a0,a1, …,an,an+1},试用p(Sn)和an+1表达出p(Sn+1)。

离散数学复习题及答案

离散数学复习题及答案

1. 写出命题公式 ﹁(P →(P ∨ Q ))的真值表。

答案:2.证明 答案:3. 证明以下蕴涵关系成立: 答案:4. 写出下列式子的主析取范式: 答案:)()(Q P Q P Q P ⌝∧⌝∨∧⇔↔Q)P (Q)(P P)(Q P)P (Q)(Q Q)P (P)Q)P ((Q)Q)P (P)Q (Q)P (Q P ⌝∧⌝∨∧⇔∧∨∧⌝∨⌝∧∨⌝∧⌝⇔∧∨⌝∨⌝∧∨⌝⇔∨⌝∧∨⌝⇔↔Q Q P P ⇒∨∧⌝)()()(R P Q P ∨∧∧⌝5. 构造下列推理的论证:p ∨q, p →⌝r, s →t, ⌝s →r, ⌝t ⇒ q 答案:①s →t 前提 ②t 前提③s ①②拒取式I12 ④s →r 前提⑤r ③④假言推理I11 ⑥p →r 前提⑦p ⑤⑥拒取式I12 ⑧p ∨q 前提⑨q ⑦⑧析取三段论I106. 用反证法证明:p →(⌝(r ∧s)→⌝q), p, ⌝s ⇒ ⌝q)()(R P Q P ∨∧∧⌝)()(R P Q P ∨∧⌝∨⌝⇔))(())(R Q P P Q P ∧⌝∨⌝∨∧⌝∨⌝⇔)()()()(R Q R P P Q P P ∧⌝∨∧⌝∨∧⌝∨∧⌝⇔)()()(Q R P R P Q R P Q ∧∧⌝∨⌝∧∧⌝∨∧∧⌝⇔)()()(P R Q P R Q Q R P ⌝∧∧⌝∨∧∧⌝∨⌝∧∧⌝∨)()()(Q R P R P Q R P Q ∧∧⌝∨⌝∧∧⌝∨∧∧⌝⇔)(Q R P ⌝∧∧⌝∨7. 请将下列命题符号化:所有鱼都生活在水中。

答案:令 F( x ):x 是鱼 W( x ):x 生活在水中))((W(x)F(x)x →∀8. 请将下列命题符号化:存在着不是有理数的实数。

答案:令 Q ( x ):x 是有理数 R ( x ):x 是实数Q(x))x)(R(x)(⌝∧∃9. 请将下列命题符号化:尽管有人聪明,但并非一切人都聪明。

答案:令M(x):x 是人 C(x):x 是聪明的 则上述命题符号化为10. 请将下列命题符号化:对于所有的正实数x,y ,都有x+y ≥x 。

离散数学复习题及答案

离散数学复习题及答案

离散数学复习题及答案离散数学复习题及答案⽂件排版存档编号:[UYTR-OUPT28-KBNTL98-UYNN208]1. 写出命题公式﹁(P →(P ∨ Q ))的真值表。

答案:2.证明答案:3. 证明以下蕴涵关系成⽴:答案:4. 写出下列式⼦的主析取范式:答案:5. 构造下列推理的论证:p ∨q, p →r, s →t, s →r, t q答案:①s →t 前提②t 前提③s ①②拒取式I12④s →r 前提⑤r ③④假⾔推理I11⑥p →r 前提⑦p ⑤⑥拒取式I12⑧p ∨q 前提⑨q ⑦⑧析取三段论I106. ⽤反证法证明:p →((r ∧s)→q), p, s q7. 请将下列命题符号化:所有鱼都⽣活在⽔中。

)()(R P Q P ∨∧∧?答案:令F( x ):x是鱼 W( x ):x⽣活在⽔中8. 请将下列命题符号化:存在着不是有理数的实数。

答案:令 Q ( x ):x 是有理数 R ( x ):x 是实数9. 请将下列命题符号化:尽管有⼈聪明,但并⾮⼀切⼈都聪明。

答案:令M(x):x 是⼈ C(x):x 是聪明的则上述命题符号化为10. 请将下列命题符号化:对于所有的正实数x,y,都有x+y≥x。

答案:令P(x):x是正实数 S(x,y): x+y≥x11. 请将下列命题符号化:每个⼈都要参加⼀些课外活动。

答案:令P(x):x是⼈ Q(y): y是课外活动 S(x,y):x参加y 12. 请将下列命题符号化:某些⼈对某些药物过敏。

答案:令P(x):x是⼈ Q(y): y是药 S(x,y):x对y过敏13. 求)())()((yyRyQxPy?→→的对偶式:答案:14. 求下列谓词公式的前束范式:答案:15. 证明:答案:16. ⽤反证法证明:x(P(x)∧Q(x)) , xP(x) xQ(x)答案:17. 证明:前提: x(C(x)W(x)∧R(x)), x(C(x)∧Q(x)).结论: x(Q(x)∧R(x)).答案:(1) x(C(x)∧Q(x)) 前提引⼊(2) C(a)∧Q(a) (1)ES(3) C(a) (2)化简规则(4) x(C(x)W(x)∧R(x)) 前提引⼊(5) C(a)W(a)∧R(a) (4)US(6) W(a)∧R(a) (3)(5)假⾔推理(7) R(a) (6)化简规则(8) Q(a) (2)化简规则) ,,()),(),((uyxuQzyPzxzPyx?→∧(9) R(a)∧Q(a) (7)(8)合取引⼊规则(10) x(Q(x)∧R(x)) (9)EG18. 判断:下列命题是否正确答案:(1) √(2) ×(3) √(4) √(5) √(6) √(7) √(8) ×19. 列出下列集合的元素(1) {x|x∈N∧t(t∈{2,3}∧x=2t)}(2) {x|x∈N∧ts(t∈{0,1}∧s∈{3,4}∧t(3){x|x∈N∧t(t整除2x≠t)}答案:(1) {4,6}(2) {1,2,3}(3) {3,4,5…}20.S={0,1,2,3,4,5,6,7,8,9},A={2,4,5,6,8}B={1,4,5,9},C={x|x∈Z+, 2≤x≤5}答案:21. ⼀个学校有507,292,312和344个学⽣分别选择了A,B,C,D四门课程。

  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
(4) 若|a|=n,则an=e1。故(h(a))n=h(an)=h(e1)=e2。从而h(a)的阶也有限,且|h(a)| n。
设|h(a)|=m,则h(am)= (h(a))m= h(e1)=e2。因为h是单一同态,所以am=e1。即|a| m。
<G,*>是半群, 运算*满足结合律。
b*eR=(y*a)*eR=y*(a*eR)=y*a=b。
类似地,记方程y*a=a的唯一解为eL。即eL*a=a。
下证eL为关于运算*的左单位元。
对 b G,记方程a*x=b的惟一解为x。
<G,*>是半群, 运算*满足结合律。
eL*b=eL*(a*x)=(eL*a)*x=a*x=b。
由欧拉握手定理得 deg(v)=2|E|得 5n 2m。
又因为G=〈V,E,F〉是一个连通简单无向平面图,
所以对每个面f,deg(f) 3。
由公式 deg(f)=2|E|可得,2m 3k。
再由欧拉公式|V|-|E|+|F|=2可得2 m-m+ m= m
从而30 m,这与已知矛盾。
证明题
10
6.4
3
3
证明题
10
2.3;2.4
3
3
2
给定连通简单平面图G=<V,E,F>,且|V|=6, |E|=12, 则对于任意f F, d(f)=3。
答:因为|V|=6 3,且G=〈V,E,F〉是一个连通简单无向平面图,
所以对任一f F,deg(f) 3。
由欧拉公式|V|-|E|+|F|=2可得|F|=8。
再由公式 deg(f)=2|E|, deg(f)=24。
因为对任一f F,deg(f) 3,故要使上述等式成立, 对任一f F,deg(f)=3。
证明题
10
6.4
3
3
3
证明对于连通无向简单平面图,当边数e<30时,必存在度数≤4的顶点。
答:若结点个数小于等于3时,结论显然成立。
当结点多于3 个时,用反证法证明。
记|V|=n,|E|=m,|F|=k。
假设图中所有结点的度数都大于等于5。
综上所述,<G,*>是一个群。
证明题
10
8.3
4
4
7
设<G,*>是一个群,H、K是其子群。定义G上的关系R:对任意a,b∈G,aRb存在 h∈H,k∈K, 使得b=h*a*k,则R是G上的等价关系。
答: a∈G,因为H、K是G的子群,所以e∈H且e∈K。令h=k=e,则a=e*a*a=h*e*k,从而aRa。即R是自反的。
a,b∈G,若aRb,则存在 h∈H,k∈K, 使得b=h*a*k。因为H、K是G的子群,所以h-1∈H且k-1∈K。故a=h-1*a*k-1,从而bRa。即R是对称的。
a,b,c∈G,若aRb,bRc,则存在 h,g∈H,k,l∈K, 使得b=h*a*k,c=g*b*l。所以c=g*b*l=g*(h*a*k)*l=(g*h)*a*(k*l)。因为H、K是G的子群,所以g*h∈H且k*l∈K。从而aRc。即R是传递的。
4
在一个连通简单无向平面图G=〈V,E,F〉中若|V| 3,则 |E| 3|V|-6。
答: |V| 3,且G=〈V,E,F〉是一个连通简单无向平面图,
d(f) 3, f F。
由公式 deg (f)=2|E|可得,2|E| 3|F|。
再由欧拉公式|V|-|E|+|F|=2可得|V|-|E|+ |E| 2。
及 k +k-2
故 k 2n-4。
证明题
10
6.4
3
3
6
在半群<G,*>中,若对 a,b G,方程a*x=b 和y*a=b都有惟一解,则<G,*>是一个群。
答:任意取定a G,记方程a*x=a的惟一解为eR。即a*eR=a。
下证eR为关于运算*的右单位元。
对 b G,记方程y*a=b的惟一解为y。
|E| 3|V|-6。
证明题
10
6.4
3
3
5
设G=<V,E>是连通的简单平面图,|V|=n 3,面数为k,则k 2n-4。
答:记|E|=m。因为G=<V,E>是连通的简单平面图,故每个面的度数都不小于3。从而由公式 deg(f)=2|E|可得3k 2m
再由欧拉公式|V|-|E|+|F|=2有
m=n+k-2
( P Q R) ( P Q R) ( P Q R)
(P→(Q R)) ( P (Q R))
( P Q) ( P R)
( P Q (R R)) ( P (Q Q) R)
( P Q R) ( P Q R) ( P Q R) ( P Q R)
( P Q R) ( P Q R) ( P Q R)
它们有一样的主合取范式,所以它们等价。
答:(1) 因为h(e1) h(e1)=h(e1 e1)= h(e1)= e2 h(e1),所以h(e1)=e2。
(2) a∈G1,h(a) h(a-1)=h(a a-1)= h(e1)= e2,
h(a-1) h(a)=h(a-1 a)= h(e1)= e2,故h(a-1)=h(a)-1。
(3) c,d∈h(H), a,b∈H,使得c=h(a),d=h(b)。故c d=h(a) h(b)=h(a b)。因为H G,所以a b ∈H ,故c d∈h(H)。又c-1=(h(a))-1=h(a-1)且a-1∈H,故c-1∈h(H)。由定理5.3.2知h(H) G2。
综上所述,R是G上的等价关系。
证明题
10
4.4
3
3
8
设h是从群<G1, >到<G2, >的群同态,G 和G2的单位元分别为e1和e2,则
(1)h(e1)=e2;
(2) a G1,h(a-1)=h(a)-1;
(3)若H G1,则h(H) G2;
(4) 若h为单一同态,则 a G1,|h(a)|=|a|。
编号
题目
答案
题型
分值
大纲
难度
区分度
1
用先求主范式的方法证明(P→Q) (P→R) (P→(Q R)
答:先求出左右两个公式 的主合取范式
(P→Q) (P→R) ( P Q) ( P R)
( P Q (R R))) ( P (Q Q) R)
( P Q R) ( P Q R) ( P Q R) ( P Q R)
从而在半群<G,*>中, 关于运算*存在单位元,记为e。
现证G中每个元素关于运算*存在逆元。
对 b G,记c为方程b*x=e的惟一解。下证c为b关于运算的逆元。记d=c*b。 则b*d=(b*c)*b=e*b=b。
b*e=b,且方程b*x=b有惟一解, d=e。
b*c=c*b=e。从而c为b关于运算的逆元。
相关文档
最新文档