下载文档原格式
一、证明下列各题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设集合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变成完全图。
