02324自考全国2010年7月离散数学试题
2010年7月自考离散数学试题及答案
2010年7月自考离散数学试题及答案一、单项选择题（本大题共15小题，每小题1分，共15分）在每小题列出的四个备选项中只有一个是符合题目要求的，请将其代码填写在题后的括号内。
错选、多选或未选均无分。
1．下列句子不是．．命题的是（D）A．中华人民共和国的首都是北京B．张三是学生C．雪是黑色的D．太好了！2．下列式子不是．．谓词合式公式的是（B）A．（∀x）P(x)→R(y)B．(∀x) ┐P（x）⇒(∀x)(P(x)→Q(x))C．(∀x)(∃y)(P(x)∧Q(y))→(∃x)R(x)D．(∀x)(P(x,y)→Q(x,z))∨(∃z)R(x,z)3．下列式子为重言式的是（）A．(┐P∧R)→Q B．P∨Q∧R→┐RC．P∨(P∧Q) D．(┐P∨Q)⇔(P→Q)4．在指定的解释下，下列公式为真的是（）A．(∀x)(P(x)∨Q(x)),P(x):x=1,Q(x):x=2,论域:{1,2} B．(∃x)(P(x)∧Q(x)),P(x):x=1,Q(x):x=2,论域: {1,2} C．(∃x)(P(x) →Q(x)),P(x):x>2,Q(x):x=0,论域:{3,4} D．(∀x)(P(x)→Q(x)),P(x):x>2,Q(x):x=0,论域:{3,4}5．对于公式(∀x) (∃y)(P(x)∧Q(y))→(∃x)R(x,y)，下列说法正确的是（）A ．y 是自由变元B ．y 是约束变元C ．(∃x )的辖域是R(x , y )D ．(∀x )的辖域是(∃y )(P (x )∧Q (y ))→(∃x )R (x ,y )6．设论域为{1,2}，与公式(∀x )A (x )等价的是（ ） A ．A (1)∨A (2) B ．A (1)→A (2) C ．A (1)∧A (2)D ．A (2)→A (1)7．设Z +是正整数集，R 是实数集，f :Z +→R , f (n )=log 2n ,则f （ ） A ．仅是入射 B ．仅是满射 C ．是双射D ．不是函数8．下列关系矩阵所对应的关系具有反对称性的是（ ） A ．⎥⎥⎥⎦⎤⎢⎢⎢⎣⎡001110101 B ．⎥⎥⎥⎦⎤⎢⎢⎢⎣⎡101110001 C ．⎥⎥⎥⎦⎤⎢⎢⎢⎣⎡001100100D ．⎥⎥⎥⎦⎤⎢⎢⎢⎣⎡0010101019．设R 1和R 2是集合A 上的相容关系，下列关于复合关系R 1︒R 2的说法正确的是（ ） A ．一定是等价关系B ．一定是相容关系C ．一定不是相容关系D ．可能是也可能不是相容关系 10．下列运算不满足．．．交换律的是（ ） A ．a *b =a+2b B ．a *b =min(a ,b ) C ．a *b =|a -b | D ．a *b =2ab 11．设A 是偶数集合，下列说法正确的是（ ）C．<A,÷>是群D．<A,+>, <A,×>,<A,÷>都不是群12．设*是集合A上的二元运算，下列说法正确的是（）A．在A中有关于运算*的左幺元一定有右幺元B．在A中有关于运算*的左右幺元一定有幺元C．在A中有关于运算*的左右幺元，它们不一定相同D．在A中有关于运算*的幺元不一定有左右幺元13．题13图的最大出度是（）A．0 B．1C．2 D．314．下列图是欧拉图的是（）15．一棵树的3个4度点，4个2度点，其它的都是1度，那么这棵树的边数是（）A．13 B．14C．15 D．16二、填空题（本大题共10小题，每小题2分，共20分）请在每小题的空格中填上正确答案。
离散数学题目大汇总
离散数学试题一（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，其中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变成完全图。
离散数学练习题(含答案)
离散数学试题第一部分选择题一、单项选择题1．下列是两个命题变元p，q的小项是（ C ）A．p∧┐p∧q B．┐p∨qC．┐p∧q D．┐p∨p∨q2．令p：今天下雪了，q：路滑，则命题“虽然今天下雪了，但是路不滑”可符号化为（ D ）A．p→┐q B．p∨┐qC．p∧q D．p∧┐q3．下列语句中是命题的只有（ A ）A．1+1=10 B．x+y=10C．sinx+siny<0 D．x mod 3=24．下列等值式不正确的是（ C ）A．┐(∀x)A⇔(∃x)┐AB．(∀x)(B→A(x))⇔B→(∀x)A(x)C．(∃x)(A(x)∧B(x))⇔(∃x)A(x)∧(∃x)B(x)D．(∀x)(∀y)(A(x)→B(y))⇔(∀x)A(x)→(∀y)B(y)5．谓词公式(∃x)P(x,y)∧(∀x)(Q(x,z)→(∃x)(∀y)R(x,y,z)中量词∀x的辖域是（ C ）A．(∀x)Q(x,z)→(∃x)(∀y)R(x,y,z))B．Q(x,z)→(∀y)R(x,y,z)C．Q(x,z)→(∃x)(∀y)R(x,y,z)D．Q(x,z)6．设A={a,b,c,d}，A上的等价关系R={<a,b>,<b,a>,<c,d>,<d,c>}∪I A，则对应于R的A的划分是（ D ）A．{{a},{b,c},{d}} B．{{a,b},{c},{d}}C．{{a},{b},{c},{d}} D．{{a,b},{c,d}}7．设A={Ø}，B=P(P(A))，以下正确的式子是（ A ）A．{Ø,{Ø}}∈B B．{{Ø,Ø}}∈BC．{{Ø},{{Ø}}}∈B D．{Ø,{{Ø}}}∈B8．设X，Y，Z是集合，一是集合相对补运算，下列等式不正确的是（ A ）A．(X-Y)-Z=X-(Y∩Z)B．(X-Y)-Z=(X-Z)-YC．(X-Y)-Z=(X-Z)-(Y-Z)D．(X-Y)-Z=X-(Y∪Z)9．在自然数集N上，下列定义的运算中不可结合的只有（ D ）A．a*b=min(a,b)B．a*b=a+bC．a*b=GCD(a,b)(a,b的最大公约数)02324# 离散数学试题第1 页共4页02324# 离散数学试题 第 2 页 共4页D ．a*b=a(mod b)10.设R 和S 是集合A 上的关系,R ∩S 必为反对称关系的是( A ) A ．当R 是偏序关系,S 是等价关系; B ．当R 和S 都是自反关系; C ．当R 和S 都是等价关系; D ．当R 和S 都是传递关系11.设R 是A 上的二元关系,且R ·R ⊆R,可以肯定R 应是( D ) A ．对称关系; B ．全序关系; C ．自反关系; D ．传递关系 12．设R 为实数集，函数f ：R →R ，f(x)=2x ，则f 是（ B ） A ．满射函数 B ．单射函数 C ．双射函数 D ．非单射非满射第二部分 非选择题二、填空题1．设论域是{a,b,c}，则(∀x)S(x)等价于命题公式 S(a)∧S(b)∧S(c) ；(x ∃)S(x)等价于命题公式 S(a)∨S(b) ∨S(c) 。
2010年7月自考离散数学试题及标准答案
一、单项选择题(本大题共１５小题，每小题1分,共15分)在每小题列出的四个备选项中只有一个是符合题目要求的，请将其代码填写在题后的括号内。
错选、多选或未选均无分。
1.下列句子不是．．命题的是( D ) A.中华人民共和国的首都是北京ﻩB ．张三是学生C.雪是黑色的ﻩD.太好了!2．下列式子不是．．谓词合式公式的是（ Ｂ ) A.(∀x ）P (x ）→R (y ）B.（∀x ) ┐Ｐ（x ）⇒(∀x )(P (x )→Q （x ）)Ｃ.(∀x )(∃y )(P (x )∧Q (y ))→（∃ｘ)R (x )D ．(∀x )(P (x ，y )→Ｑ(x ，z ))∨(∃ｚ）R (ｘ,z ）3．下列式子为重言式的是( ）A ．（┐P ∧R )→Q ﻩB.Ｐ∨Q ∧R →┐ＲC ．P ∨(P ∧Q ）ﻩD.(┐P ∨Q )⇔(P →Q ）4．在指定的解释下，下列公式为真的是（ )Ａ．(∀x )(P （x )∨Q (ｘ)），P (x ）:x =1,Q (x ):x =2,论域:{1,2｝B ．(∃x )(P (x ）∧Q (x ))，P （ｘ):x =1,Ｑ(ｘ)：x =2,论域： {1，2}C ．(∃x )(P (x ) →Q (ｘ))，Ｐ(x ):ｘ>2,Q (x )：x =０，论域:{3,4}Ｄ．(∀x ）(P （ｘ)→Ｑ(x )）,P (ｘ):ｘ>２,Q （x ):x ＝0，论域：｛3，4}5.对于公式(∀x ) （∃y )（Ｐ(x )∧Q (y ))→(∃x ）Ｒ(x ,y )，下列说法正确的是（ )A ．y 是自由变元ﻩB ．y 是约束变元Ｃ．（∃x ）的辖域是R(x , ｙ) D.(∀x )的辖域是(∃ｙ）(Ｐ(x ）∧Q (y ))→(∃x )R (x ,y )6．设论域为{1,2},与公式(∀x ）A (x )等价的是( )Ａ．A (1)∨A (2)ﻩB.A (1)→Ａ(2)C.Ａ(1）∧Ａ(2)ﻩD ．A (2)→A （1)7．设Z ＋是正整数集,R 是实数集，ｆ:Z ＋→R , ｆ(n )=lo ｇ2n ,则f ( ）A ．仅是入射ﻩB ．仅是满射C ．是双射 Ｄ．不是函数 ８.下列关系矩阵所对应的关系具有反对称性的是（ )Ａ.⎥⎥⎥⎦⎤⎢⎢⎢⎣⎡001110101B ．⎥⎥⎥⎦⎤⎢⎢⎢⎣⎡101110001C ．⎥⎥⎥⎦⎤⎢⎢⎢⎣⎡001100100D.⎥⎥⎥⎦⎤⎢⎢⎢⎣⎡001010101 9.设R 1和R 2是集合A 上的相容关系,下列关于复合关系R １︒R ２的说法正确的是( )A.一定是等价关系ﻩB.一定是相容关系C.一定不是相容关系D.可能是也可能不是相容关系1０．下列运算不满足．．．交换律的是(）A．ａ＊b=a＋2ｂﻩＢ.ａ*b=min(ａ,ｂ)C．ａ＊b=|ａ-b｜ D.a*ｂ=2ａｂ1１.设Ａ是偶数集合，下列说法正确的是( ）Ａ．<A,+>是群B．<A,×＞是群C.＜A,÷＞是群ﻩＤ．<A,+>, <Ａ,×>，<A,÷>都不是群１2．设*是集合Ａ上的二元运算，下列说法正确的是(）A．在A中有关于运算*的左幺元一定有右幺元B．在A中有关于运算＊的左右幺元一定有幺元C.在Ａ中有关于运算*的左右幺元，它们不一定相同D.在Ａ中有关于运算*的幺元不一定有左右幺元１3．题13图的最大出度是(）Ａ.０ﻩＢ.1C．2 D．３14．下列图是欧拉图的是( )1５．一棵树的３个4度点，4个２度点,其它的都是1度，那么这棵树的边数是（)A.13ﻩB．14C.１5 D．1６二、填空题（本大题共10小题，每小题2分,共20分）请在每小题的空格中填上正确答案。
7月自考离散数学试题及答案
一、单项选择题（本大题共15小题，每小题1分，共15分）在每小题列出的四个备选项中只有一个是符合题目要求的，请将其代码填写在题后的括号内。
错选、多选或未选均无分。
1．下列句子不是．．命题的是（ D ） A ．中华人民共和国的首都是北京B ．张三是学生C ．雪是黑色的D ．太好了！2．下列式子不是．．谓词合式公式的是（ B ） A ．（∀x ）P (x )→R (y )B ．(∀x ) ┐P （x ）⇒(∀x )(P (x )→Q (x ))C ．(∀x )(∃y )(P (x )∧Q (y ))→(∃x )R (x )D ．(∀x )(P (x ,y )→Q (x ,z ))∨(∃z )R (x ,z )3．下列式子为重言式的是（ ）A ．(┐P ∧R )→QB ．P ∨Q ∧R →┐RC ．P ∨(P ∧Q )D ．(┐P ∨Q )⇔(P →Q )4．在指定的解释下，下列公式为真的是（ ）A ．(∀x )(P (x )∨Q (x )),P (x ):x =1,Q (x ):x =2,论域:{1,2}B ．(∃x )(P (x )∧Q (x )),P (x ):x =1,Q (x ):x =2,论域: {1,2}C ．(∃x )(P (x ) →Q (x )),P (x ):x >2,Q (x ):x =0,论域:{3,4}D ．(∀x )(P (x )→Q (x )),P (x ):x >2,Q (x ):x =0,论域:{3,4}5．对于公式(∀x ) (∃y )(P (x )∧Q (y ))→(∃x )R (x ,y )，下列说法正确的是（ ）A ．y 是自由变元B ．y 是约束变元C ．(∃x )的辖域是R(x , y )D ．(∀x )的辖域是(∃y )(P (x )∧Q (y ))→(∃x )R (x ,y )6．设论域为{1,2}，与公式(∀x )A (x )等价的是（ ）A ．A (1)∨A (2)B ．A (1)→A (2)C ．A (1)∧A (2)D ．A (2)→A (1)7．设Z +是正整数集，R 是实数集，f :Z +→R , f (n )=log 2n ,则f （ ）A ．仅是入射B ．仅是满射C ．是双射D ．不是函数8．下列关系矩阵所对应的关系具有反对称性的是（ ）A ．⎥⎥⎥⎦⎤⎢⎢⎢⎣⎡001110101B ．⎥⎥⎥⎦⎤⎢⎢⎢⎣⎡101110001C ．⎥⎥⎥⎦⎤⎢⎢⎢⎣⎡001100100D ．⎥⎥⎥⎦⎤⎢⎢⎢⎣⎡001010101 9．设R 1和R 2是集合A 上的相容关系，下列关于复合关系R 1︒R 2的说法正确的是（ ）A ．一定是等价关系B ．一定是相容关系C．一定不是相容关系D．可能是也可能不是相容关系10．下列运算不满足．．．交换律的是（）A．a*b=a+2b B．a*b=min(a,b)C．a*b=|a-b| D．a*b=2ab11．设A是偶数集合，下列说法正确的是（）A．<A,+>是群B．<A,×>是群C．<A,÷>是群D．<A,+>, <A,×>,<A,÷>都不是群12．设*是集合A上的二元运算，下列说法正确的是（）A．在A中有关于运算*的左幺元一定有右幺元B．在A中有关于运算*的左右幺元一定有幺元C．在A中有关于运算*的左右幺元，它们不一定相同D．在A中有关于运算*的幺元不一定有左右幺元13．题13图的最大出度是（）A．0 B．1C．2 D．314．下列图是欧拉图的是（）15．一棵树的3个4度点，4个2度点，其它的都是1度，那么这棵树的边数是（）A．13 B．14C．15 D．16二、填空题（本大题共10小题，每小题2分，共20分）请在每小题的空格中填上正确答案。
最新自考离散数学02324真题含答案(.4-2016.4年整理版)
全国2009年4月自学考试离散数学试题（附答案）课程代码：02324一、单项选择题（本大题共15小题，每小题1分，共15分）在每小题列出的四个备选项中只有一个是符合题目要求的，请将其代码填写在题后的括号内。
错选、多选或未选均无分。
1．下列为两个命题变元P，Q的小项是（）A．P∧Q∧⎤ P B．⎤ P∨QC．⎤ P∧Q D．⎤ P∨P∨Q2．下列语句中是真命题的是（）A．我正在说谎B．严禁吸烟C．如果1+2=3，那么雪是黑的D．如果1+2=5，那么雪是黑的3．设P：我们划船，Q：我们跑步。
命题“我们不能既划船又跑步”符号化为（）A．⎤ P∧⎤ Q B．⎤ P∨⎤ QC．⎤（P↔Q）D．⎤（⎤ P∨⎤ Q）4．命题公式（P∧（P→Q））→Q是（）A．矛盾式B．蕴含式C．重言式D．等价式5．命题公式⎤（P∧Q）→R的成真指派是（）A．000，001，110，B．001，011，101，110，111C．全体指派D．无6．在公式（x∀）F（x，y）→（∃y）G（x，y）中变元x是（）A．自由变元B．约束变元C．既是自由变元，又是约束变元D．既不是自由变元，又不是约束变元7．集合A={1，2，…，10}上的关系R={<x，y>|x+y=10，x∈A，y∈A}，则R的性质是（）A．自反的B．对称的C．传递的、对称的D．反自反的、传递的8．若R和S是集合A上的两个关系，则下述结论正确的是（）A．若R和S是自反的，则R∩S是自反的B．若R和S是对称的，则R S是对称的C．若R和S是反对称的，则R S是反对称的D．若R和S是传递的，则R∪S是传递的9．R={<1，4>，<2，3>，<3，1>，<4，3>}，则下列不是．．t（R）中元素的是（）A．<1，1> B．<1，2>C．<1，3> D．<1，4>10．设A={{1，2，3}，{4，5}，{6，7，8}}，下列选项正确的是（）A．1∈A B．{1，2，3}⊆AC．{{4，5}}⊂A D．∅∈A11．在自然数集N上，下列运算是可结合的是（）A．a*b=a-2b B．a*b=min{a，b}C．a*b=-a-b D．a*b=|a-b|12．在代数系统中，整环和域的关系是（）A．整环一定是域B．域不一定是整环C．域一定是整环D．域一定不是整环13．下列所示的哈斯图所对应的偏序集中能构成格的是（）A．B．C．D．14．设G为有n个结点的简单图，则有（）A．Δ(G)＜n B．Δ(G)≤nC．Δ(G)＞n D．Δ(G)≥n15．具有4个结点的非同构的无向树的数目是（）A．2 B．3C．4 D．5二、填空题（本大题共10小题，每小题2分，共20分）请在每小题的空格中填上正确答案。
自考02324离散数学习题1.8
自考02324离散数学习题1.81.用全真值表或部分真值表证明下列各题的有效结论。
⑴(p→(q→r))，p∧q⇒r((p→(q→r))∧(p∧q))→r的全真值表如表1.56所示。
表1.56由真值表可知，((p→(q→r))∧(p∧q))→r是永真式，所以(p→(q→r))，p∧q⇒r。
⑵⌝p∨q,⌝(q∧⌝r),⌝r⇒⌝p((⌝p∨q)∧(⌝(q∧⌝r))∧⌝r)→⌝p的全真值表如表1.57所示。
表1.57由真值表可知：((⌝p∨q)∧(⌝(q∧⌝r))∧⌝r)→⌝p是永真式，所以⌝p∨q，⌝(q∧⌝r)，⌝r⇒⌝p。
⑶⌝p∨q,r→⌝q⇒p→⌝r((⌝p∨q)∧(r→⌝q))→(p→⌝r)的真值表如表1.58所示。
表1.58→⌝r。
⑷p→q，q→r⇒p→r((p→q)∧(q→r))→(p→r)的真值表如表1.59所示。
表1.59⑸p∨⌝p,p→q,⌝p→q⇒q((p∨⌝p)∧(p→q)∧(⌝p→q))→q的真值表如表1.60所示。
表1.60由真值表可知：((∨⌝)∧(→)∧(⌝→))→是永真式，所以∨⌝,→,⌝→⇒q。
⑹p↔q，q↔r⇒p↔r((p↔q)∧(q↔r))→(p↔r)的真值表如表1.61所示。
表1.61由真值表可知：((p↔q)∧(q↔r))→(p↔r)是永真式，所以p↔q，q↔r⇒p↔r。
2.用等价演算法，主析取范式法或蕴含演算法证明上题中的各有效结论。
⑴(p→(q→r)),p∧q⇒r((p→(q→r))∧(p∧q))→r⇔⌝((p→(q→r))∧(p∧q))∨r⇔⌝((⌝p∨⌝q∨r)∧(p∧q))∨r⇔(p∧q∧⌝r)∨⌝(p∧q)∨r⇔(p∧q∧⌝r)∨⌝(p∧q∧⌝r)⇔1所以(p→(q→r)),p∧q⇒r⑵⌝p∨q,⌝(q∧⌝r),⌝r⇒⌝p((⌝p∨q)∧(⌝(q∧⌝r))∧⌝r)→⌝p⇔⌝((⌝p∨q)∧(⌝(q∧⌝r))∧⌝r)∨⌝p⇔((p∧⌝q)∨(q∧⌝r)∨r)∨⌝p⇔(p∧⌝q)∨(q∧⌝r)∨r∨⌝p⇔((p∧⌝q)∨⌝p)∨((q∧⌝r)∨r)⇔(⌝p∨⌝q)∨(q∨r)⇔1所以⌝p∨q,⌝(q∧⌝r),⌝r⇒⌝p⑶⌝p∨q,r→⌝q⇒p→⌝r((⌝p∨q)∧(r→⌝q))→(p→⌝r)⇔((⌝p∨q)∧(⌝r∨⌝q))→(⌝p∨⌝r)⇔⌝((⌝p∨q)∧(⌝r∨⌝q))∨(⌝p∨⌝r)⇔((p∧⌝q)∨(r∧q))∨(⌝p∨⌝r)⇔((p∧⌝q)∨⌝p)∨((r∧q)∨⌝r)⇔(⌝p∨⌝q)∨(q∨⌝r)⇔1所以⌝p∨q,r→⌝q⇒p→⌝r⑷p→q，q→r⇒p→r((p→q)∧(q→r))→(p→r)⇔((⌝p∨q)∧(⌝q∨r))→(⌝p∨r)⇔⌝((⌝p∨q)∧(⌝q∨r))∨(⌝p∨r)⇔(p∧⌝q)∨(⌝r∧q)∨⌝p∨r⇔((p∧⌝q)∨⌝p)∨((⌝r∧q)∨r)⇔(⌝p∨⌝q)∨(q∨r)⇔1所以p→q，q→r⇒p→r⑸p∨⌝p,p→q,⌝p→q⇒q((p∨⌝p)∧(p→q)∧(⌝p→q))→q⇔(1∧(⌝p∨q)∧(p∨q))→q⇔⌝((⌝p∨q)∧(p∨q))∨q⇔(p∧⌝q)∨(⌝p∧⌝q)∨q⇔⌝q∨q⇔1所以p∨⌝p,p→q,⌝p→q⇒q⑹p↔q，q↔r⇒p↔r((p↔q)∧(q↔r))→(p↔r)⇔((⌝p∨q)∧(⌝q∨p)∧(⌝q∨r)∧(⌝r∨q))→(p↔r)⇔⌝((⌝p∨q)∧(⌝q∨p)∧(⌝q∨r)∧(⌝r∨q))∨(p∧r)∨(⌝p∧⌝r)⇔(p∧⌝q)∨(p∧r)∨(r∧⌝q)∨(q∧⌝r)∨(q∧⌝p)∨(⌝p∧⌝r)⇔((p∧(⌝q∨r))∨⌝(⌝q∨r))∨(r∧⌝q)∨(q∧⌝p)∨(⌝p∧⌝r)⇔((⌝(⌝q∨r)∨(⌝q∨r))∧(p∨⌝(⌝q∨r)))∨(r∧⌝q)∨(q∧⌝p)∨(⌝p∧⌝r)⇔(T∧(p∨⌝(⌝q∨r)))∨(r∧⌝q)∨(q∧⌝p)∨(⌝p∧⌝r)⇔p∨(q∧⌝r)∨(r∧⌝q)∨(q∧⌝p)∨(⌝p∧⌝r)⇔p∨(q∧⌝r)∨((q∧⌝p)∨(⌝p∧⌝r))∨(r∧⌝q)⇔p∨(q∧⌝r)∨((⌝p∧(q∨⌝r))∨⌝(q∨⌝r))⇔p∨(q∧⌝r)∨⌝p∨(⌝q∧r)⇔T所以p↔q，q↔r⇒p↔r3.推理证明下列各题的有效结论。
《离散数学》试题及答案
一、填空题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变成完全图。
自考02324离散数习题4.4
自考02324离散数习题4.41.设A =⎨1,2,3,4⎬，A 上二元关系R 定义为：R =⎨<1,2>,<2,1>,<2,3>,<3,4>⎬⑴ 求R 的自反闭包、对称闭包和传递闭包。
⑵ 用R 的关系矩阵和四阶单位阵求R 的自反闭包、对称闭包和传递闭包的关系矩阵。
再由关系矩阵写出它们的集合表达式。
⑶ 根据R 的关系图，画出R 的自反闭包，对称闭包和传递闭包的关系图，再由关系图写出它们的集合表达式。
总结出用R 的关系图求出R 的自反闭包，对称闭包和传递闭包关系图的一般方法。
解：⑴r(R )=⎨<1,2>,<2,1>,<2,3>,<3,4>,<1,1>,<2,2>,<3,3>,<4,4>⎬s(R )=⎨<1,2>,<2,1>,<2,3>,<3,4>,<3,2>,<4,3>⎬R 2=R R =⎨<1,1>,<1,3>,<2,2>,<2,4>⎬ R 3=R 2 R =⎨<1,2>,<1,4>,<2,1>,<2,3>⎬ R 4=R 2 R =⎨<1,1>,<1,3>,<2,2>,<2,4>⎬=R 2t(R )=R ∪R 2∪R 3∪R 4= ⎨<1,1>,<1,2>,<1,3>,<1,4>,<2,1>,<2,2>,<2,3>,<2,4>,<3,4>⎬ ⑵解：M R =⎪⎪⎪⎪⎪⎭⎫ ⎝⎛0000100001010010 M r(R )= M R ∨AI M =⎪⎪⎪⎪⎪⎭⎫⎝⎛0000100001010010∨⎪⎪⎪⎪⎪⎭⎫⎝⎛1000010000100001=⎪⎪⎪⎪⎪⎭⎫⎝⎛1000110001110011r(R )=⎨<1,2>,<2,1>,<2,3>,<3,4>,<1,1>,<2,2>,<3,3>,<4,4>⎬M s(R )= M R ∨TR M =⎪⎪⎪⎪⎪⎭⎫⎝⎛0000100001010010∨⎪⎪⎪⎪⎪⎭⎫⎝⎛0100001000010010=⎪⎪⎪⎪⎪⎭⎫⎝⎛0100101001010010s(R )= ⎨<1,2>,<2,1>,<2,3>,<3,4>,<3,2>,<4,3>⎬=2R M M R M R =⎪⎪⎪⎪⎪⎭⎫⎝⎛0000100001010010⎪⎪⎪⎪⎪⎭⎫ ⎝⎛0000100001010010=⎪⎪⎪⎪⎪⎭⎫⎝⎛00000000101001013R M =2R M M R =⎪⎪⎪⎪⎪⎭⎫⎝⎛0000000010100101 ⎪⎪⎪⎪⎪⎭⎫⎝⎛0000100001010010=⎪⎪⎪⎪⎪⎭⎫⎝⎛0000000001011010 4R M =3R M M R =⎪⎪⎪⎪⎪⎭⎫⎝⎛0000000001011010 ⎪⎪⎪⎪⎪⎭⎫⎝⎛0000100001010010=⎪⎪⎪⎪⎪⎭⎫⎝⎛0000000010100101M t(R )= M R ∨2R M ∨3R M ∨⎪⎪⎪⎪⎪⎭⎫⎝⎛=00001000111111114R Mt(R )= ⎨<1,1>,<1,2>,<1,3>,<1,4>,<2,1>,<2,2>,<2,3>,<2,4>,<3,4>⎬⑶R 的关系图如图4.30所示，R 的自反闭包、对称闭包和传递闭包的关系图如图4.31、图4.32和图4.33所示。
(完整版)《离散数学》试题及答案解析,推荐文档
4. 设 I 是如下一个解释：D = {2, 3},
a
b
f (2) f (3)
3
2
3
2
试求 (1) P(a, f (a))∧P(b, f (b));
WORD 整理版
一、填空题 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 的所有映射是 __________________________ _____________, 其中双射的是
专业资料学习参考
WORD 整理版
0 1 1 1 1
15. 设图 G 的相邻矩阵为 1 0 1 0 0 ，则 G 的顶点数与边数分别为(
).
1 1 0 1 1
1 0 1 0 1
1 0 1 1 0
(A)4, 5 (B)5, 6 三、计算证明题
(C)4, 10
(D)5, 8.
1.设集合 A＝{1, 2, 3, 4, 6, 8, 9, 12}，R 为整除关系。
则在解释 I 下取真值为 1 的公式是( ).
(A)xyP(x,y) (B)xyP(x,y) (C)xP(x,x) (D)xyP(x,y). 6. 若供选择答案中的数值表示一个简单图中各个顶点的度，能画出图的是( ).
《离散数学》试题及答案
一、填空题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变成完全图。
全国2010年7月自考普通逻辑学试题及答案
全国2010年7月自考普通逻辑试题课程代码：00024一、单项选择题（本大题共15小题，每小题1分，共15分）在每小题列出的四个备选项中只有一个是符合题目要求的，请将其代码填写在题后的括号内。
错选、多选或未选均无分。
1.“所有S都是P”与“有S不是P”这两个逻辑形式，它们（）A.变项和逻辑常项都相同B.变项相同但逻辑常项不同C.变项不同但逻辑常项相同D.变项和逻辑常项都不同2.在“人是由猿进化来的”和“人是有思维能力的”两语句中，概念“人”（）A.都是集合概念B.前者是非集合概念，后者是集合概念C.前者是集合概念，后者是非集合概念D.都是非集合概念3.相同素材的SAP判断与SEP判断之间的关系是（）A.反对关系B.矛盾关系C.差等关系D.下反对关系4.概念之间的真包含于关系是（）A.对称且非传递关系B.非对称且非传递关系C.反对称且反传递关系D.反对称且传递关系5.一个判断式“p∧q”为真，当且仅当（）A.p真且q真B.p真且q假C.p假且q真D.p假且q假6.若同时断定SEP和SIP都假，则（）A.违反同一律B.违反矛盾律C.违反排中律D.不违反普通逻辑的基本规律7.直接推理“SEP├PA ”（符号：“├”表示推出）是（）A.换质法直接推理B.换位法直接推理C.换质位法直接推理D.换位质法直接推理8.“p,q├p∧q”，该推理式是（）A.联言推理式B.选言推理式C.假言推理式D.二难推理式9.充分条件假言推理不是（）A.必然性推理B.演绎推理C.三段论推理D.或然性推理10.“明天可能不下雨”是（）A.必然肯定模态判断B.必然否定模态判断C.或然肯定模态判断D.或然否定模态判断11.一个产品要想稳固地占领市场，产品本身的质量和产品的售后服务二者缺一不可。
空谷牌冰箱质量不错，但售后服务跟不上，因此，很难长期稳固地占领市场。
以下推理的结构和上述的最为类似的是（）A.德才兼备是一个领导干部敬职胜任的必要条件。
离散数学自学考试真题附答案打印版
离散数学试题课程代码：02324一、单项选择题(本大题共15小题，每小题1分，共15分)在每小题列出的四个选项中只有一个选项是符合题目要求的，请将正确选项前的字母填在题后的括号内。
1.一个连通的无向图G ，如果它的所有结点的度数都是偶数，那么它具有一条( )A.汉密尔顿回路B.欧拉回路C.汉密尔顿通路D.初级回路2.设G 是连通简单平面图，G 中有11个顶点5个面，则G 中的边是( )3.在布尔代数L 中，表达式(a ∧b)∨(a∧b ∧c)∨(b ∧c)的等价式是( )∧(a ∨c)B.(a ∧b)∨(a ’∧b)C.(a ∨b)∧(a ∨b ∨c)∧(b ∨c)D.(b ∨c)∧(a ∨c)4.设i 是虚数，·是复数乘法运算，则G=<{1,-1,i,-i},·>是群，下列是G的子群是( )A.<{1},·>B.〈{-1},·〉C.〈{i},·〉D.〈{-i},·〉5.设Z 为整数集，A 为集合，A 的幂集为P(A),+、-、/为数的加、减、除运算，∩为集合的交运算，下列系统中是代数系统的有( )A.〈Z ，+，/〉B.〈Z ，/〉C.〈Z ，-，/〉D.〈P(A)，∩〉6.下列各代数系统中不含有零元素的是( )A.〈Q ，*〉Q 是全体有理数集，*是数的乘法运算B.〈Mn(R),*〉,Mn(R)是全体n 阶实矩阵集合，*是矩阵乘法运算C.〈Z ，ο〉，Z 是整数集，ο定义为x οxy=xy,∀x,y ∈ZD.〈Z ，+〉，Z 是整数集，+是数的加法运算 7.设A={1,2,3}，A 上二元关系R 的关系图如下： R 具有的性质是 A.自反性 B.对称性 C.传递性 D.反自反性 8.设A={a,b,c}，A 上二元关系R={〈a,a 〉，〈b,b 〉,〈a,c 〉}，则关系R 的对称闭包S(R)是( ) ∪I A ∪{〈c,a 〉} ∩I A 9.设X={a,b,c},Ix 是X 上恒等关系，要使Ix ∪{〈a,b 〉，〈b,c 〉，〈c,a 〉，〈b,a 〉}∪R 为X 上的等价关系，R 应取( ) A.｛〈c,a 〉，〈a,c 〉｝ B.{〈c,b 〉，〈b,a 〉} C.{〈c,a 〉，〈b,a 〉} D.{〈a,c 〉，〈c,b 〉} 10.下列式子正确的是( ) A. ∅∈∅ B.∅⊆∅ C.{∅}⊆∅ D.{∅}∈∅11.设解释R 如下：论域D 为实数集，a=0,f(x,y)=x-y,A(x,y):x<y.下列公式在R 下为真的是( ) A.( ∀ x)( ∀y)( ∀z)(A(x,y))→A(f(x,z),f(y,z)) B.( ∀x)A(f(a,x),a) C.(∀x)(∀y)（A(f(x,y),x)) D.(∀x)(∀y)(A(x,y)→A(f(x,a),a)) 12.设B 是不含变元x 的公式，谓词公式(∀x)(A(x)→B)等价于( ) A.(∃x)A(x)→B B.(∀x)A(x)→B (x)→B D.(∀x)A(x)→(∀x)B 13.谓词公式(∀x)(P(x,y))→(∃z)Q(x,z)∧(∀y)R(x,y)中变元x( )A.是自由变元但不是约束变元B.既不是自由变元又不是约束变元C.既是自由变元又是约束变元D.是约束变元但不是自由变元14.若P ：他聪明；Q ：他用功；则“他虽聪明，但不用功”，可符号化为( )∨Q ∧┐Q →┐Q ∨┐Q15.以下命题公式中，为永假式的是( )→(p ∨q ∨r)B.(p →┐p)→┐pC.┐(q →q)∧pD.┐(q ∨┐p)→(p ∧┐p)二、填空题(每空1分，共20分)16.在一棵根树中，仅有一个结点的入度为______，称为树根，其余结点的入度均为______。
离散数学试题及答案解析
离散数学试题及答案解析一、单项选择题（每题2分，共10分）1. 集合A={1,2,3}，集合B={2,3,4}，则A∩B等于：A. {1,2,3}B. {2,3}C. {1,4}D. {3,4}答案：B2. 以下哪个命题是真命题？A. 所有天鹅都是白色的。
B. 有些天鹅不是白色的。
C. 所有天鹅都不是白色的。
D. 没有天鹅是白色的。
答案：B3. 函数f: A→B的定义域是A，值域是B，那么f是：A. 单射B. 满射C. 双射D. 既不是单射也不是满射答案：D4. 逻辑表达式(p∧q)→r的逆否命题是：A. ¬r→¬(p∧q)B. ¬r→¬p∨¬qC. r→(p∧q)D. ¬r∧¬p∨¬q答案：B5. 有限集合A={a, b, c}的子集个数为：A. 3B. 4C. 7D. 8答案：D二、填空题（每题3分，共15分）1. 如果一个关系R在集合A上是自反的，那么对于A中的每一个元素a，都有___________。
答案：(a, a)∈R2. 命题逻辑中，合取（AND）的逻辑运算符用___________表示。
答案：∧3. 在图论中，一个连通图是指图中任意两个顶点之间都存在___________。
答案：路径4. 集合{1, 2, 3}的幂集包含___________个元素。
答案：85. 如果一个函数f是单射，那么对于任意的x1, x2∈A，如果f(x1)=f(x2)，则x1___________x2。
答案：=三、解答题（每题10分，共20分）1. 证明：若p是q的充分条件，q是r的充分条件，则p是r的充分条件。
证明：假设p成立，由于p是q的充分条件，所以q成立。
又因为q是r的充分条件，所以r成立。
因此，p成立可以推出r成立，即p是r的充分条件。
2. 给定一个有向图，其中包含顶点A、B、C、D，边为(A, B)，(B, C)，(C, D)，(D, A)，(A, C)。
离散数学考试题及详细参考答案
离散数学考试题(后附详细答案)一、命题符号化（共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。
离散数学试题与参考答案
《离散数学》试题及答案一、选择题：本题共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]等势。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
超越60自考网
全国2010年7月高等教育自学考试
离散数学试题
课程代码：02324
一、单项选择题（本大题共15小题，每小题1分，共15分）
在每小题列出的四个备选项中只有一个是符合题目要求的，请将其代码填写在题后的括号内。
错选、多选或未选均无分。
1．下列句子不是命题的是（）
A．中华人民共和国的首都是北京B．张三是学生
C．雪是黑色的D．太好了！
2．下列式子不是谓词合式公式的是（）
A．（(x）P(x)→R(y)
B．((x) ┐P（x）(((x)(P(x)→Q(x))
C．((x)((y)(P(x)∧Q(y))→((x)R(x)
D．((x)(P(x,y)→Q(x,z))∨((z)R(x,z)
3．下列式子为重言式的是（）
A．(┐P∧R)→Q B．P∨Q∧R→┐R
C．P∨(P∧Q) D．(┐P∨Q)((P→Q)
4．在指定的解释下，下列公式为真的是（）
A．((x)(P(x)∨Q(x)),P(x):x=1,Q(x):x=2,论域:{1,2}
B．((x)(P(x)∧Q(x)),P(x):x=1,Q(x):x=2,论域: {1,2}
C．((x)(P(x) →Q(x)),P(x):x>2,Q(x):x=0,论域:{3,4}
D．((x)(P(x)→Q(x)),P(x):x>2,Q(x):x=0,论域:{3,4}
5．对于公式((x) ((y)(P(x)∧Q(y))→((x)R(x,y)，下列说法正确的是（）
A．y是自由变元B．y是约束变元
C．((x)的辖域是R(x, y) D．((x)的辖域是((y)(P(x)∧Q(y))→((x)R(x,y)
6．设论域为{1,2}，与公式((x)A(x)等价的是（）
A．A(1)∨A(2) B．A(1)→A(2)
C．A(1)∧A(2) D．A(2)→A(1)
7．设Z+是正整数集，R是实数集，f:Z+→R, f(n)=log2n ,则f（）
A．仅是入射B．仅是满射
C．是双射D．不是函数
8．下列关系矩阵所对应的关系具有反对称性的是（）
A．B．
C．D．
9．设R1和R2是集合A上的相容关系，下列关于复合关系R1(R2的说法正确的是（）A．一定是等价关系B．一定是相容关系
C．一定不是相容关系D．可能是也可能不是相容关系
10．下列运算不满足交换律的是（）
A．a*b=a+2b B．a*b=min(a,b)
C．a*b=|a-b| D．a*b=2ab
11．设A是偶数集合，下列说法正确的是（）
A．<A,+>是群B．<A,×>是群
C．<A,÷>是群D．<A,+>, <A,×>,<A,÷>都不是群
12．设*是集合A上的二元运算，下列说法正确的是（）
A．在A中有关于运算*的左幺元一定有右幺元
B．在A中有关于运算*的左右幺元一定有幺元
C．在A中有关于运算*的左右幺元，它们不一定相同
D．在A中有关于运算*的幺元不一定有左右幺元
13．题13图的最大出度是（）
A．0 B．1
C．2 D．3
14．下列图是欧拉图的是（）
15．一棵树的3个4度点，4个2度点，其它的都是1度，那么这棵树的边数是（）A．13 B．14
C．15 D．16
二、填空题（本大题共10小题，每小题2分，共20分）
请在每小题的空格中填上正确答案。
错填、不填均无分。
16．请写出表示德摩根律的两个命题公式等价定理___________，___________。
17．n个命题变元的___________称为小项，其中每个变元与它的否定不能同时出现，但两者必须___________。
18．前提引入规则：在证明的任何步骤上都可以___________，简称___________规则。
19．自由变元代入规则是指对某___________出现的个体变元可用个体常元或用与原子公式中所有个体变元不同的个体变元去代入，且___________。
20．设A=(,B={2,4}，则((A)=___________，A×B___________。
21．设A={1,2,3,4}, A上的二元关系R={<1,2>,<2,4>,<3,3>},S={<1,3>,<2,4>,<4,2>}，则R2(S=___________，(R-1)2=___________。
22．设代数系统<A,·,*>是环，则<A,·>是___________，<A,*>是___________。
23．在<Z7-{0},(7>中，元素2的阶为___________，它生成的子群为___________，其中(7为模7乘法。
24．设<A,≤>是一个___________，如果A中任意两个元素都有___________，则称<A, ≤>为格。
25．若一条___________中，所有的___________均不相同，称为迹。
三、计算题（本大题共6小题，每小题5分，共30分）
26．给定论域D={1,2}，f(1)=2, f(2)=1, S(1)=F, S(2)=T, G(1,2)=T, G(2,1)=T,在该赋值下，求式子(x(S( f(x))∧G(x, f(x)))的真值。
27．请通过等值演算法求┐(P∧Q)→(P∨Q)的主析取范式。
28．设A={1,2,3,4}，给定A上二元关系R={<1,1>,<1,2>,<2,4>,<4,2>}，求R的传递闭包。
29．对题29图所示格，找出它的所有的4元子格。
30．用矩阵的方法求题30图中结点ui，u5之间长度为2的路径的数目。
31．求题31图的最小生成树。
四、证明题（本大题共3小题，第32小题8分，第33、34小题各6分，共20分）32．用推理方法证明(A∨B)→(C∧D),(D∨F)→E├A→E。
33．证明：设<G,·>是一个群，则对于任意a,b∈G，必存在惟一的x∈G使得a·x=b。
34．设图G有n个结点，n+1条边，证明：G中至少有一个结点度数≥3。
五、应用题（本大题共2小题，第35小题9分，第36小题6分，共15分）
35．符合化下列命题，并构造推理证明：三角函数都是周期函数，有些三角函数是连续函数，所以有些周期函数是连续函数。