离散数学复习题答案
(完整版)离散数学题目及答案
数理逻辑习题判断题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),(5),(6)4、公式∀x((A(x)→B(y,x))∧∃z C(y,z))→D(x)中,自由变元是( ),约束变元是( )。
答:x,y, x,z5、判断下列语句是不是命题。
若是,给出命题的真值。
( )(1)北京是中华人民共和国的首都。
(2) 陕西师大是一座工厂。
(3) 你喜欢唱歌吗? (4) 若7+8>18,则三角形有4条边。
(5) 前进! (6) 给我一杯水吧!答:(1)是,T (2)是,F (3)不是(4)是,T (5)不是(6)不是6、命题“存在一些人是大学生”的否定是( ),而命题“所有的人都是要死的”的否定是( )。
答:所有人都不是大学生,有些人不会死7、设P:我生病,Q:我去学校,则下列命题可符号化为( )。
(1) 只有在生病时,我才不去学校 (2) 若我生病,则我不去学校(3) 当且仅当我生病时,我才不去学校(4) 若我不生病,则我一定去学校答:(1)PP⌝P→⌝↔(4)QQ→⌝(2)QP⌝→(3)Q8、设个体域为整数集,则下列公式的意义是( )。
(1) ∀x∃y(x+y=0) (2) ∃y∀x(x+y=0)答:(1)对任一整数x存在整数 y满足x+y=0(2)存在整数y对任一整数x满足x+y=0 9、设全体域D是正整数集合,确定下列命题的真值:(1) ∀x∃y (xy=y) ( ) (2) ∃x∀y(x+y=y) ( )(3) ∃x∀y(x+y=x) ( ) (4) ∀x∃y(y=2x) ( )答:(1) F (2) F (3)F (4)T10、设谓词P(x):x是奇数,Q(x):x是偶数,谓词公式∃x(P(x)∨Q(x))在哪个个体域中为真?( )(1) 自然数(2) 实数 (3) 复数(4) (1)--(3)均成立答:(1)11、命题“2是偶数或-3是负数”的否定是()。
离散数学复习题及答案
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. 请将下列命题符号化:所有鱼都生活在水中。
答案:令 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 参加y12. 请将下列命题符号化:某些人对某些药物过敏。
答案:)()(R P Q P ∨∧∧⌝令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)化简规则⏹(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∧?t?s(t∈{0,1}∧s∈{3,4}∧t<x<s)}⏹(3){x|x∈N∧?t(t整除2?x≠t)}答案:⏹(1) {4,6}⏹(2) {1,2,3}⏹(3) {3,4,5…}20.) ,,()),(),((uyxuQzyPzxzPyx∃→∧∃∀∀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四门课程。
离散数学考试题及详细参考答案
离散数学考试题(后附详细答案)一、命题符号化(共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。
离散数学复习题参考带答案
一、选择题:(每题2’)1、下列语句中不是命题的有( )。
A .离散数学是计算机专业的一门必修课。
B .鸡有三只脚。
C .太阳系以外的星球上有生物 。
D .你打算考硕士研究生吗?2、命题公式A 与B 是等价的,是指( )。
A . A 与B 有相同的原子变元 B . A 与B 都是可满足的C . 当A 的真值为真时,B 的真值也为真D . A 与B 有相同的真值3、所有使命题公式P ∨(Q ∧¬R)为真的赋值为( )。
A . 010,100,101,110,111B . 010,100,101,111C . 全体赋值D . 不存在4、合式公式⌝(P ∧Q)→R 的主析取范式中含极小项的个数为( )。
A .2B .3C .5D .05、一个公式在等价意义下,下面哪个写法是唯一的( )。
A .析取范式B .合取范式C .主析取范式D .以上答案都不对6、下述公式中是重言式的有( )。
A .(P ∧Q) → (P ∨Q)B .(P ↔Q) ↔ (( P →Q)∧(Q →P))C .⌝(P →Q)∧QD .P →(P ∧Q)7、命题公式 (⌝P →Q) →(⌝Q ∨P) 中极小项的个数为( ),成真赋值的个数为( )。
A .0B .1C .2D .38、若公式 (P ∧Q)∨(⌝P ∧R) 的主析取范式为 m 001∨m 011∨m 110∨m 111 则它的主合取范式为()。
A .m 001∧m 011∧m 110∧m 111 B .M 000∧M 010∧M 100∧M 101C .M 001∧M 011∧M 110∧M 111D .m 000∧m 010∧m 100∧m 1019、下列公式中正确的等价式是( )。
A .⌝(∃x)A(x) ⇔ (∃x)⌝A(x)B .(∀x) (∀y)A(x, y) ⇔ (∃y) (∀x) A(x, y)C .⌝(∀x)A(x) ⇔ (∃x)⌝A(x)D .(∀x) (A(x) ∧B(x)) ⇔ (∀x) A(x) ∨(∀x) B(x)10、下列等价关系正确的是( )。
离散数学复习题及答案
总复习题(一)一.单选题1 (C)。
一连通的平面图,5个顶点3个面,则边数为()。
、4 、5 、6 、72、 (A)。
如果一个简单图,则称为自补图,非同构的无向4阶自补图有()个。
、1 、2 、3 、43、 (D)。
为无环有向图,为的关联矩阵,则()。
、是的终点、与不关联、与关联、是的始点4、 (B)。
一连通的平面图,8个顶点4个面,则边数为。
、9 、10 、11 、125、 (D)。
如果一个简单图,则称为自补图,非同构的3阶有向完全图的子图中自补图有个。
、1 、2 、3 、46、21条边,3个4度顶点,其余顶点为3度的无向图共有个顶点。
、13 、12 、11 、107、 (D)。
有向图的通路包括。
、简单通路、初级通路、复杂通路、简单通路、初级通路和复杂通路8、 (D)。
一连通的平面图,9个顶点5个面,则边数为。
、9 、10 、11 、12A B C D G G ≅G A B C D E ,V D =[]m n ij m ⨯D 1m ij =A i v j e B i v j e C i v j e D i v j e A B C D G G ≅G A B C D A B C D A B C D A B C D9、21条边,3个4度顶点,其余顶点为3度的无向图共有个顶点。
、13 、12 、11 、1010、 (D)。
有向图的通路包括。
、简单通路、初级通路、复杂通路、简单通路、初级通路和复杂通路11、 (D)。
一连通的平面图,9个顶点5个面,则边数为。
、9 、10 、11 、1212、 (B)。
为有向图,为的邻接矩阵,则。
、邻接到的边的条数是5、接到的长度为4的通路数是5、长度为4的通路总数是5、长度为4的回路总数是513、 (C)。
在无向完全图中有个结点,则该图的边数为()。
A 、B 、C 、D 、14、 (C)。
任意平面图最多是()色的。
A 、3B 、4C 、5D 、615、 (A)。
对与10个结点的完全图,对其着色时,需要的最少颜色数为()。
成人教育《离散数学》期末考试复习题及参考答案
离散数学复习题二一、简要回答下列问题:1.请给出⌝P,P∧Q,P∨Q的真值表。
2.请给出公式蕴涵的定义。
举一个例子。
3.请给出命题∀xG(x)的真值规定。
4.什么是谓词逻辑公式的解释?5.叙述谓词逻辑公式G与它的Skolem范式之间的区别与联系。
6.什么是图的关联矩阵?7.什么是简单路?举一例。
8.什么是有向树?举一例9.设G为整数加群,H为5的所有倍数组成的加法群,给出H的所有陪集。
二、判断下列公式是恒真?恒假?可满足?a) (P→(Q∧R))∧(⌝P→(⌝Q∧⌝R));b) P→(P∧(Q→P));c) (Q→P)∧(⌝P∧Q);d) (⌝P∨⌝Q)→(P↔⌝Q)。
三、指出下列公式哪些是恒真的哪些是恒假的:(1)P∧(P→ Q)→Q(2)(P→ Q)→(⌝P∨Q)(3)(P→ Q)∧(Q→R)→(P→ R )(4)(P↔ Q)↔(P∧ Q∨⌝P∧⌝ Q)四、给P和Q指派真值1,给R和S指派真值0,求出下面命题的真值:a) (P∧(Q∧R))∨⌝((P∨Q)∧(R∨S))b) (⌝(P∧Q)∨⌝R)∨(((⌝P∧Q)∨⌝R)∧S)c) (⌝(P∧Q)∨⌝R)∨((Q↔⌝P)→(R∨⌝S))d) (P∨(Q→(R∧⌝P)))↔(Q∨⌝S)五、证明:连通图中任意两条最长的简单路必有公共点。
离散数学复习题二答案一、简要回答下列问题:1.请给出⌝P,P∧Q,P∨Q的真值表。
P Q ⌝P P∧Q P∨Q0 1 1 0 11 0 0 0 11 1 0 1 10 0 1 0 02.请给出公式蕴涵的定义。
举一个例子。
答:设G,H是两个公式,如果解释I满足G,I也满足S,称G蕴涵H。
例如:P∧Q蕴涵P。
3.请给出命题∀xG(x)的真值规定。
答:∀xG(x)取1值⇔对任意x∈D,G(x)都取1值;∀xG(x)取0值⇔有一个x0∈D,使G(x0)取0值。
4.什么是谓词逻辑公式的解释?答:词逻辑中公式G的一个解释I,是由非空区域D和对G中常量符号,函数符号,谓词符号以下列规则进行的一组指定组成:1. 对每个常量符号,指定D中一个元素;2. 对每个n元函数符号,指定一个函数,即指定D n到D的一个映射;3. 对每个n元谓词符号,指定一个谓词,即指定D n到{0,1}的一个映射。
离散数学考试题及答案
离散数学考试题及答案一、选择题(每题5分,共20分)1. 下列哪个选项不是离散数学的研究对象?A. 图论B. 组合数学C. 微积分D. 逻辑学答案:C2. 在逻辑学中,下列哪个命题是真命题?A. 如果今天是周一,那么明天是周二。
B. 如果今天是周一,那么明天是周三。
C. 如果今天是周一,那么明天是周四。
D. 如果今天是周一,那么明天是周五。
答案:A3. 在集合论中,下列哪个符号表示集合的并集?A. ∩B. ∪C. ⊆D. ⊂答案:B4. 在图论中,下列哪个术语描述的是图中的顶点集合?A. 边B. 路径C. 子图D. 顶点答案:D二、填空题(每题5分,共20分)1. 如果一个集合A包含5个元素,那么它的子集个数是______。
答案:322. 在逻辑学中,如果命题P和命题Q都是真命题,那么复合命题“P且Q”的真值是______。
答案:真3. 在图论中,如果一个图的顶点数为n,那么它的最大边数是______。
答案:n(n-1)/24. 如果一个二叉树的深度为3,那么它最多包含______个节点。
答案:7三、简答题(每题10分,共30分)1. 请简述什么是图的连通性,并给出一个例子。
答案:图的连通性是指在图中任意两个顶点之间都存在一条路径。
例如,在一个完全图K3中,任意两个顶点之间都可以通过一条边直接连接,因此它是连通的。
2. 解释什么是逻辑蕴含,并给出一个例子。
答案:逻辑蕴含是指如果一个命题P为真,则另一个命题Q也必须为真。
例如,命题P:“如果今天是周一”,命题Q:“明天是周二”。
如果今天是周一,那么根据逻辑蕴含,明天必须是周二。
3. 请描述什么是二叉搜索树,并给出它的一个性质。
答案:二叉搜索树是一种特殊的二叉树,其中每个节点的左子树只包含小于当前节点的数,右子树只包含大于当前节点的数。
它的一个性质是中序遍历可以得到一个有序序列。
四、计算题(每题15分,共30分)1. 给定一个集合A={1, 2, 3, 4, 5},请计算它的幂集,并列出所有元素。
离散数学试题总汇及答案
离散数学试题总汇及答案一、单项选择题(每题2分,共20分)1. 在集合{1,2,3}和{3,4,5}的笛卡尔积中,元素(2,4)是否存在?A. 存在B. 不存在C. 无法确定D. 以上都不对2. 函数f: A→B是单射的,当且仅当对于任意的a1, a2∈A,若f(a1)=f(a2),则a1=a2。
A. 正确B. 错误C. 无法确定D. 以上都不对3. 以下哪个命题是真命题?A. 所有的狗都会游泳。
B. 有些狗不会游泳。
C. 所有的狗都不会游泳。
D. 以上都不是真命题。
4. 如果p蕴含q为假,那么p和q的真值可以是?A. p为真,q为假B. p为假,q为真C. p为真,q为真D. p为假,q为假5. 以下哪个图是连通图?A. 一个孤立点B. 两个不相连的点C. 一个包含三个点且每对点都相连的图D. 以上都不是连通图6. 在有向图中,如果存在从顶点u到顶点v的路径,那么称v是u的后继顶点。
A. 正确B. 错误C. 无法确定D. 以上都不对7. 以下哪个等价关系是集合{1,2,3}上的?A. {(1,1), (2,2), (3,3)}B. {(1,2), (2,1), (2,2), (3,3)}C. {(1,1), (2,3), (3,2), (3,3)}D. {(1,1), (2,2), (3,3), (1,3)}8. 以下哪个命题是假命题?A. 所有的鸟都有羽毛。
B. 有些鸟不会飞。
C. 所有的哺乳动物都是温血动物。
D. 以上都不是假命题。
9. 在图论中,一个图的生成树是包含图中所有顶点的最小连通子图。
A. 正确B. 错误C. 无法确定D. 以上都不对10. 如果命题p和q互为逆否命题,那么它们具有相同的真值。
A. 正确B. 错误C. 无法确定D. 以上都不对二、填空题(每题2分,共20分)1. 集合{1,2,3}和{3,4,5}的并集是________。
2. 函数f: A→B是满射的,当且仅当对于任意的b∈B,存在a∈A,使得f(a)=________。
离散数学试题及答案解析
离散数学试题及答案解析一、选择题1. 在集合{1,2,3,4}中,含有3个元素的子集有多少个?A. 4B. 8C. 16D. 32答案:B解析:含有3个元素的子集可以通过组合数公式C(n, k) = n! / [k!(n-k)!]来计算,其中n为集合的元素个数,k为子集中的元素个数。
在本题中,n=4,k=3,所以C(4, 3) = 4! / [3!(4-3)!] = 4。
2. 下列哪个命题是真命题?A. 所有偶数都是整数。
B. 所有整数都是偶数。
C. 所有整数都是奇数。
D. 所有奇数都是整数。
答案:A解析:偶数是指能被2整除的整数,因此所有偶数都是整数,选项A是真命题。
选项B、C和D都是错误的,因为并非所有整数都是偶数或奇数。
二、填空题1. 逻辑运算符“非”(NOT)的真值表是:当输入为真时,输出为______;当输入为假时,输出为真。
答案:假解析:逻辑运算符“非”(NOT)是一元运算符,它将输入的真值取反。
如果输入为真,则输出为假;如果输入为假,则输出为真。
2. 命题逻辑中,合取词“与”(AND)的真值表是:当两个命题都为真时,输出为真;否则输出为______。
答案:假解析:合取词“与”(AND)是二元运算符,只有当两个命题都为真时,输出才为真;如果其中一个或两个命题为假,则输出为假。
三、简答题1. 解释什么是等价关系,并给出一个例子。
答案:等价关系是定义在集合上的一个二元关系,它满足自反性、对称性和传递性。
例如,考虑整数集合上的“同余”关系。
对于任意整数a,b,如果a和b除以同一个正整数n后余数相同,则称a和b模n同余。
这个关系是自反的(a同余a),对称的(如果a同余b,则b同余a),并且是传递的(如果a同余b且b同余c,则a同余c)。
2. 什么是图的连通性?一个图是连通的需要满足什么条件?答案:图的连通性是指在无向图中,任意两个顶点之间都存在一条路径。
一个图是连通的需要满足以下条件:图中的任意两个顶点v和w,都可以通过图中的边相互到达。
《离散数学》复习题及答案
《离散数学》复习题及答案《离散数学》试题及答案⼀、选择或填空(数理逻辑部分)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),(5),(6)4、公式?x((A(x)→B(y,x))∧?z C(y,z))→D(x)中,⾃由变元是( ),约束变元是( )。
答:x,y, x,z5、判断下列语句是不是命题。
若是,给出命题的真值。
( )(1)北京是中华⼈民共和国的⾸都。
(2) 陕西师⼤是⼀座⼯⼚。
(3) 你喜欢唱歌吗? (4) 若7+8>18,则三⾓形有4条边。
(5) 前进! (6) 给我⼀杯⽔吧!答:(1)是,T (2)是,F (3)不是(4)是,T (5)不是(6)不是6、命题“存在⼀些⼈是⼤学⽣”的否定是( ),⽽命题“所有的⼈都是要死的”的否定是( )。
答:所有⼈都不是⼤学⽣,有些⼈不会死7、设P:我⽣病,Q:我去学校,则下列命题可符号化为( )。
(1) 只有在⽣病时,我才不去学校 (2) 若我⽣病,则我不去学校(3) 当且仅当我⽣病时,我才不去学校(4) 若我不⽣病,则我⼀定去学校答:(1)PP?P→(4)QQ→→(3)Q8、设个体域为整数集,则下列公式的意义是( )。
(1) ?x?y(x+y=0) (2) ?y?x(x+y=0)答:(1)对任⼀整数x存在整数 y满⾜x+y=0(2)存在整数y对任⼀整数x满⾜x+y=0 9、设全体域D是正整数集合,确定下列命题的真值:(1) ?x?y (xy=y) ( ) (2) ?x?y(x+y=y) ( )(3) ?x?y(x+y=x) ( ) (4) ?x?y(y=2x) ( )答:(1) F (2) F (3)F (4)T10、设谓词P(x):x是奇数,Q(x):x是偶数,谓词公式?x(P(x)∨Q(x))在哪个个体域中为真?( )(1) ⾃然数(2) 实数 (3) 复数(4) (1)--(3)均成⽴答:(1)11、命题“2是偶数或-3是负数”的否定是()。
离散数学考试题及答案
离散数学考试题及答案一、选择题(每题2分,共20分)1. 在集合论中,下列哪个符号表示属于关系?A. ∈B. ∉C. ⊆D. ∩答案:A2. 对于命题逻辑,下列哪个是真值表的表示方法?A. 真值表B. 逻辑图C. 布尔代数D. 集合论答案:A3. 以下哪个是图论中的基本单位?A. 点B. 线C. 面D. 体答案:A4. 函数f(x) = x^2 + 3x + 2在x=-1处的值是:A. 0C. 4D. 6答案:C5. 在关系数据库中,以下哪个操作用于删除表中的记录?A. SELECTB. INSERTC. UPDATED. DELETE答案:D6. 以下哪个是离散数学中的归纳法证明方法?A. 直接证明法B. 反证法C. 归纳法D. 构造性证明法答案:C7. 在逻辑中,以下哪个是析取命题?A. P ∧ QB. P ∨ QC. ¬PD. P → Q答案:B8. 以下哪个是图的遍历算法?B. BFSC. Dijkstra算法D. Floyd算法答案:B9. 在集合{1, 2, 3}上,以下哪个是幂集?A. {∅, {1}}B. {1, 2}C. {1, 2, 3}D. 所有选项答案:D10. 以下哪个是递归算法的特点?A. 不能自我调用B. 必须有一个终止条件C. 必须有一个基本情况D. 所有选项答案:D二、填空题(每空2分,共20分)1. 在离散数学中,_________ 表示一个命题的否定。
答案:¬P2. 如果集合A和集合B的交集为空集,那么A和B被称为_________。
答案:不相交3. 一个函数f: A → B是_________,如果对于集合B中的每个元素b,集合A中至少有一个元素a与之对应。
答案:满射4. 在图论中,一个没有环的连通图被称为_________。
答案:树5. 一个命题逻辑公式是_________,如果它在所有可能的真值分配下都是真的。
答案:重言式6. 一个关系R在集合A上是_________,如果对于A中的任意两个元素a和b,如果(a, b)属于R,则(b, a)也属于R。
离散数学习题答案精选全文完整版
可编辑修改精选全文完整版离散数学习题答案习题一:P121.判断下列句子哪些是命题?在是命题的句子中,哪些是简单命题?哪些是真命题?哪些命题的真值现在还不知道?(1)中国有四大发明。
(2)5是无理数。
(3)3是素数或4是素数。
(4)x2+3<5,其中x是任意实数。
(5)你去图书馆吗?(6)2与3都是偶数。
(7)刘红与魏新是同学。
(8)这朵玫瑰花多美丽呀!(9)吸烟请到吸烟室去!(10)圆的面积等于半径的平方乘π。
(11)只有6是偶数,3才能是2的倍数。
(12)8是偶数的充分必要条件是8能被3整除。
(13)2025年元旦下大雪。
1、2、3、6、7、10、11、12、13是命题。
在上面的命题中,1、2、7、10、13是简单命题;1、2、10是真命题;7的真值现在还不知道。
2.将上题中是简单命题的命题符号化。
(1)p:中国有四大发明。
(2)q:5是无理数。
(7)r:刘红与魏新是同学。
(10)s:圆的面积等于半径的平方乘π。
(1)t:2025年元旦下大雪。
3.写出下列各命题的否定式,并将原命题及其否定式都符号化,最后指出各否定式的真值。
“5是有理数”的否定式是“5不是有理数”。
解:原命题可符号化为:p:5是有理数。
其否定式为:非p。
非p的真值为1。
4.将下列命题符号化,并指出真值。
(1)2与5都是素数。
(2)不但π是无理数,而且自然对数的底e也是无理数。
(3)虽然2是最小的素数,但2不是最小的自然数。
(4)3是偶素数。
(5)4既不是素数,也不是偶数。
a:2是素数。
b:5是素数。
c:π是无理数。
d:e是无理数。
f:2是最小的素数。
g:2是最小的自然数。
h:3是偶数。
i:3是素数。
j:4是素数。
k:4是偶数。
解:(1)到(5)的符号化形式分别为a∧b,c∧d,f∧非g,h∧i,非j∧非k。
这五个复合命题的真值分别为1,1,1,0,0。
5.将下列命题符号化,并指出真值。
a:2是偶数。
b:3是偶数。
c:4是偶数。
离散数学考试试题及答案
离散数学考试试题及答案离散数学考试试题及答案离散数学是计算机科学和数学中的一门重要学科,它研究的是离散的结构和对象。
离散数学的理论和方法在计算机科学、信息科学、通信工程等领域具有广泛的应用。
下面将为大家提供一些离散数学考试试题及答案,希望对大家的学习和复习有所帮助。
1. 集合论题目(1) 设A={1,2,3,4,5},B={3,4,5,6,7},求A∪B的结果。
答案:A∪B={1,2,3,4,5,6,7}(2) 设A={1,2,3,4,5},B={3,4,5,6,7},求A∩B的结果。
答案:A∩B={3,4,5}(3) 设A={1,2,3,4,5},B={3,4,5,6,7},求A-B的结果。
答案:A-B={1,2}2. 图论题目(1) 给定一个无向图G,顶点集为V={A,B,C,D,E},边集为E={(A,B),(A,C),(B,D),(C,D),(D,E)},求该图的邻接矩阵。
答案:邻接矩阵为:A B C D EA 0 1 1 0 0B 1 0 0 1 0C 1 0 0 1 0D 0 1 1 0 1E 0 0 0 1 0(2) 给定一个有向图G,顶点集为V={A,B,C,D,E},边集为E={(A,B),(B,C),(C,D),(D,E),(E,A)},求该图的邻接表。
答案:邻接表为:A ->B ->C ->D ->E -> AB -> CC -> DD -> EE -> A3. 命题逻辑题目(1) 判断以下命题是否为永真式:(p∨q)∧(¬p∨r)∧(¬q∨¬r)。
答案:是永真式。
(2) 给定命题p:如果天晴,那么我去游泳;命题q:我没有去游泳。
请判断以下命题的真假:(¬p∨q)∧(p∨¬q)。
答案:是真命题。
4. 关系代数题目(1) 给定关系R(A,B,C)和S(B,C,D),求R⋈S的结果。
离散数学试题及答案
离散数学试题及答案一、选择题1. 下列哪个是由离散数学的基本概念组成的?A. 集合论和函数论B. 图论和逻辑C. 运算符和关系D. 全数论和数论答案:B2. 下列哪个是离散数学的一个应用领域?A. 数据结构和算法分析B. 微积分和线性代数C. 概率论和统计学D. 数值分析和微分方程答案:A3. 集合A={1, 2, 3},集合B={2, 3, 4},则A交B的结果是:A. {1, 2, 3, 4}B. {2, 3}C. {2}D. {1}答案:B4. 下列哪个是对于集合的补集运算的正确描述?A. A∪A' = ∅B. A∩A' = ∅C. A - A' = AD. A'∩B' = (A∪B)'答案:B5. 若命题p为真,命题q为假,则命题p→q的真值为:A. 真B. 假C. 不确定D. 无法确定答案:B二、填空题1. 对于命题“如果x是偶数,则x能被2整除”,其逆命题为________________。
答案:如果x不能被2整除,则x不是偶数。
2. 在一个完全图中,如果有12条边,则这个图有__________个顶点。
答案:6个顶点。
3. 设集合A={1, 2, 3, 4},则A的幂集的元素个数是__________。
答案:2^4=16个元素。
4. 设关系R={(-1, 0), (0, 1), (1, 0)},则R的逆关系是__________。
答案:R^(-1)={(0, -1), (1, 0), (0, 1)}。
5. 若集合A={1, 2, 3},集合B={2, 3, 4},则A的笛卡尔积B是__________。
答案:A×B={(1, 2), (1, 3), (1, 4), (2, 2), (2, 3), (2, 4), (3, 2), (3, 3), (3, 4)}。
三、计算题1. 求集合A={1, 2, 3}和集合B={2, 3, 4}的并集。
中国石油大学大学《离散数学》期末复习题及答案
《离散数学》期末复习题一、填空题(每空2分,共20分)1、集合A上的偏序关系的三个性质是、和。
2、一个集合的幂集是指。
3、集合A={b,c},B={a,b,c,d,e},则A?B= 。
4、集合A={1,2,3,4},B={1,3,5,7,9},则A?B= 。
5、若A是2元集合, 则2A有个元素。
6、集合A={1,2,3},A上的二元运算定义为:a* b = a和b两者的最大值,则2*3= 。
7、设A={a, b,c,d }, 则∣A∣= 。
8、对实数的普通加法和乘法,是加法的幂等元,是乘法的幂等元。
9、设a,b,c是阿贝尔群<G,+>的元素,则-(a+b+c)= 。
10、一个图的哈密尔顿路是。
11、不能再分解的命题称为,至少包含一个联结词的命题称为。
12、命题是。
13、如果p表示王强是一名大学生,则┐p表示。
14、与一个个体相关联的谓词叫做。
15、量词分两种:和。
16、设A、B为集合,如果集合A的元素都是集合B的元素,则称A是B的。
17、集合上的三种特殊元是、及。
18、设A={a, b},则ρ(A) 的四个元素分别是:,,,。
19、代数系统是指由及其上的或组成的系统。
20、设<L,*1,*2>是代数系统,其中是*1,*2二元运算符,如果*1,*2都满足、,并且*1和*2满足,则称<L,*1,*2>是格。
21、集合A={a,b,c,d},B={b },则A \ B= 。
22、设A={1, 2}, 则∣A∣= 。
23、在有向图中,结点v的出度deg+(v)表示,入度deg-(v)表示以。
24、一个图的欧拉回路是。
25、不含回路的连通图是。
26、不与任何结点相邻接的结点称为。
27、推理理论中的四个推理规则是、、、。
二、判断题(每题2分,共20分)1、空集是唯一的。
2、对任意的集合A,A包含A。
3、恒等关系不是对称的,也不是反对称的。
4、集合{1,2,3,3}和{1,2,2,3}是同一集合。
离散数学考试试题及答案
离散数学考试试题及答案一、单项选择题(每题5分,共20分)1. 在离散数学中,以下哪个概念不是布尔代数的基本元素?A. 逻辑与B. 逻辑或C. 逻辑非D. 逻辑异或答案:D2. 下列哪个命题不是命题逻辑中的命题?A. 所有学生都是勤奋的B. 有些学生是勤奋的C. 学生是勤奋的D. 勤奋的学生答案:D3. 在集合论中,以下哪个符号表示集合的并集?A. ∩B. ∪C. ⊆D. ⊂答案:B4. 以下哪个图不是无向图?A. 简单图B. 完全图C. 有向图D. 多重图答案:C二、填空题(每题5分,共20分)1. 如果一个命题的逆否命题为真,则原命题的________为真。
答案:逆命题2. 在图论中,如果一个图的任意两个顶点都由一条边连接,则称这个图为________图。
答案:完全3. 一个集合的幂集是指包含该集合的所有________的集合。
答案:子集4. 如果一个函数的定义域和值域都是有限集合,那么这个函数被称为________函数。
答案:有限三、简答题(每题10分,共30分)1. 请简述什么是图的欧拉路径。
答案:欧拉路径是一条通过图中每条边恰好一次的路径。
2. 解释什么是二元关系,并给出一个例子。
答案:二元关系是指定义在两个集合之间的关系,它将第一个集合中的元素与第二个集合中的元素联系起来。
例如,小于关系就是一个二元关系。
3. 请说明什么是递归函数,并给出一个简单的例子。
答案:递归函数是一种通过自身定义来计算函数值的函数。
例如,阶乘函数就是一个递归函数,定义为:n! = n * (n-1)!,其中n! = 1当n=0时。
四、计算题(每题10分,共30分)1. 计算以下逻辑表达式:(P ∧ Q) ∨ ¬R答案:首先计算P ∧ Q,然后计算¬R,最后计算两者的逻辑或。
2. 给定集合A = {1, 2, 3},B = {2, 3, 4},求A ∪ B。
答案:A ∪ B = {1, 2, 3, 4}3. 已知函数f(x) = 2x + 3,求f(5)。
离散数学期末考试复习资料
《离散数学》课程综合复习资料一、判断题1.R1,R2是集合A上的二元关系,若R1和R2都是反自反的,则R1R2也是反自反的。
答案:√2.对任意集合A,A。
答案:×3.设<G,*>是一个群,B是G的非空子集,如果B是一个有限集,则<B,*>必定是<G,*>的子群。
答案:×4.A、B、C为任意集合,已知A⋂B=A⋂C,必须有B=C。
答案:×5.对于任意一个集合A,空集。
答案:√6.设E为全集,对任意集合A,A。
答案:×7.设A、B为任意两个集合,A答案:×8.R是集合A上的二元关系,若R是自反的,则R c也是自反的。
答案:√9.对于任意一个集合A,空集。
答案:×图是平面图。
10.K3,3答案:×11.“你去图书馆吗?”是一个命题。
答案:×12.如果有限集合A有n个元素,则其幂集p(A)有2n个元素。
答案:×13.群中可以有零元。
14.集合A的一个划分确定A的元素间的一个等价关系。
答案:√15.含有幺元的半群为独异点。
答案:√二、基本题1.将下列命题符号化:(1)只要不下雨,他就骑自行车上班。
(2)他或者骑自行车上班,或者乘公共汽车上班。
(3)有些大学生运动员是国家选手。
答案:(1)(⌝P→ Q)(2)(Q ∇ R 或 (Q∧⌝R)∨(⌝Q∧R))(3)((∃x)(P(x)∧Q(x)))2.求命题公式P∧(P→Q)的主析取范式。
答案:原式⇔P∧(⌝P∨Q)⇔(P∧⌝P) ∨ (P∧Q)⇔T∨ (P∧Q)⇔P∧Q3.求⌝(P→Q)的主合取范式。
答案:原式⇔⌝(⌝P∨Q)⇔⌝(⌝P∨Q)⇔P∧⌝Q⇔(P∨(⌝Q ∧Q))∧(⌝Q∨(⌝P∧P))⇔(P∨⌝Q)∧(P∨Q)∧(⌝P∨⌝Q)∧(P∨⌝Q)⇔(P∨⌝Q)∧(P∨Q)∧(⌝P∨⌝Q)4.设A={3,4},试构成集合P(A)⨯A。
离散数学试题及答案解析
离散数学试题及答案解析一、单项选择题(每题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)。
离散数学考试试题及答案
离散数学考试试题及答案一、选择题(每题2分,共20分)1. 在集合论中,以下哪个选项表示“属于”关系?A. ⊆B. ⊂C. ∈D. ⊇答案:C2. 以下哪个命题是真命题?A. p ∧ ¬pB. p ∨ ¬pC. p → ¬pD. ¬(p → q) → p答案:B3. 以下哪个选项是命题逻辑中的德摩根定律?A. ¬(p ∨ q) = ¬p ∧ ¬qB. ¬(p ∧ q) = ¬p ∨ ¬qC. ¬(p → q) = p ∧ ¬qD. ¬(p ∨ q) = ¬p ∨ ¬q答案:A4. 以下哪个选项是命题逻辑中的蕴含等价?A. p → q ≡ ¬p ∨ qB. p → q ≡ ¬q → ¬pC. p → q ≡ p ∨ ¬qD. p → q ≡ ¬p ∧ q答案:A5. 以下哪个选项是关系的性质?A. 反身性B. 对称性C. 传递性D. 所有选项都是答案:D6. 以下哪个选项是图论中的有向图?A. 无向图中的边没有方向B. 有向图中的边有方向C. 混合图中的边既有方向也有无方向D. 所有选项都是答案:B7. 在图论中,以下哪个选项是树的性质?A. 树是无环的B. 树是连通的C. 树是无向图D. 所有选项都是答案:D8. 以下哪个选项是布尔代数的基本运算?A. 与(AND)B. 或(OR)C. 非(NOT)D. 所有选项都是答案:D9. 以下哪个选项是组合数学中的排列?A. 从n个不同元素中取出m个元素的组合B. 从n个不同元素中取出m个元素的排列C. 从n个相同元素中取出m个元素的组合D. 从n个相同元素中取出m个元素的排列答案:B10. 以下哪个选项是集合论中的幂集?A. 一个集合的所有子集的集合B. 一个集合的所有真子集的集合C. 一个集合的所有超集的集合D. 一个集合的所有子集的个数答案:A二、简答题(每题10分,共30分)1. 简述命题逻辑中的等价命题是什么?答案:等价命题是指两个命题在所有可能的真值赋值下都具有相同真值的命题。
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
离散数学复习题答案一、填空题1. }}{},,{},,{},{{c c b b a a B A =⋃,}}{{c B A =⋂,{)(=A P ∅, {{a , b }}, {{c }}, {{a , b }, {c }}}.2. 27933,3,3. 3. 0)(↓∨q p . 4. {{a , b }, a , b , ∅}, {{a , b }, a , b },16. 5. 92, 27. 6. 22,2,m mn mn . 7. g , g , g . 8. 1,2,4.9. 32,0,30. 10. ))()(())()((x G x F x x F x G x ⌝∧∃∧→∀. 11. ∅,X ,X . 12. ∈,∈,⊆. 13. {(1,5), (3, 2), (2, 5)}, {(4, 2), (3, 2), (1, 4)}, {(1, 2), (2, 2)}. 14. 12, 144. 15. {1, 3, {1, 2}, {3}};{{2, 3}, {1}};{1, 3, {1, 2}, {3}, {2, 3}, {1}}. 16. 0,1,0. 二、选择题1(C); 2(A); 3(D). 4(B); 5(D); 6(C). 7(C); 8(A); 9(D). 10(C); 11(D); 12(D); 13(A). 14(D); 15(B); 1(B); 17(C); 18(A). 三、计算与证明1、证 1)对于任意∈x N ,由于x x x 2=+是偶数,于是R x x ∈),(,因此R 是N 上的自反关系.对于任意∈y x ,N ,若R y x ∈),(,则y x +是偶数,即x y +是偶数,于是R x y ∈),(,因此R 是N 上的对称关系.对于任意∈z y x ,,N ,若R y x ∈),(且R z y ∈),(,则y x +是偶数且z y +是偶数,于是y z y y x z x 2)()(-+++=+是偶数,进而R z x ∈),(,因此R 是N 上的传递关系.综上所述,R 是N 上的等价关系.2)N 关于等价关系R 的所有等价类为,...}6,4,2,0{]0[=R 和,...}7,5,3,1{]1[=R . 3)令⎩⎨⎧=→是奇数是偶数x x x f f ,1,0)(,N N :,显然)}()(,N ,|),{(y f x f y x y x R =∈=.2、解 1) R 的关系图R G 如下:2)(1)由于R b b ∉),(,所以R 不是自反的. (2)由于R a a ∈),(,所以R 不是反自反的.(3)因为R b d ∈),(,而R d b ∉),(,因此R 不是对称的. (4)因R a c c a ∈),(),,(,于是R 不是反对称的.(5)经计算知R c d a d c c b c a c c a b a a a R R ⊆=)},(),,(),,(),,(),,(),,(),,(),,{( ,进而R 是传递的.综上所述,所给R 是传递的.3)R 的关系矩阵⎪⎪⎪⎪⎪⎭⎫⎝⎛=0111011100000111R M . 3、解 命题公式))(())((p q r r q p A →→↔→→=的真值表如下:p , q , r )(r q p →→)(p q r →→A 1, 1, 1 1 1 1 1, 1, 0 0 1 0 1, 0, 1 1 1 1 1, 0, 0 1 1 1 0, 1, 1 1 0 0 0, 1, 0 1 1 1 0, 0, 1 1 1 1 0, 0, 0111由表可知,))(())((p q r r q p A →→↔→→=的主析取范式为).()()()()()(r q p r q p r q p r q p r q p r q p A ⌝∧⌝∧⌝∨∧⌝∧⌝∨⌝∧∧⌝∨⌝∧⌝∧∨∧⌝∧∨∧∧=a b cdA 的主合取范式为)()(r q p r q p A ⌝∨⌝∨∧∨⌝∨⌝=.4、证 不妨设G 的阶数3≥n ,否则结论是显然的. 根据推论1知,63-≤n m . 若G 的任意节点v 的度数均有5)deg(≥v ,由握手定理知n v m v5)deg(2≥=∑.于是m n 52≤,进而652363-⋅≤-≤m n m . 因此30≥m ,与已知矛盾. 所以必存在节点v 使得4)deg(≤v .5、证 (1) 显然,B A A B A ⊆⇔=⋂.(2)可以证明:B A A B B A =⇔-=-.(⇐)当A = B 时,A – B = ∅且B – A = ∅, 于是A B B A -=-.(⇒)假定A B B A -=-,先证明B A ⊆: 对于任意A x ∈,若B x ∉,则B A x -∈,进而A B x -∈,根据差运算定义知B x ∈,与B x ∉矛盾. 所以B x ∈,因此B A ⊆. 同理可证A B ⊆. 故A = B .(3)容易证明:=⇔=-⋃-B A A B B A )()(∅.(⇐)显然.(⇒)(反证)若B ≠ ∅,则存在B x ∈. 分两种情况讨论:若A x ∉,则A B x -∈,由于A AB B A =-⋃-)()(,于是A x ∈,矛盾;若A x ∈,则B A x -∉且A B x -∉, 进而A x ∉,矛盾. 证毕.6、证 1)对于任意x ∈ R , 因为03=-xx 是整数,所以(x , x ) ∈ S ,即S 是R 上的自反关系. 2)对于任意x , y ∈ R , 若(x , y ) ∈ S ,则3y x -是整数,而33yx x y --=-也是整数,于是(y , x ) ∈ S .3)对于任意x , y , z ∈ R , 若(x , y ) ∈ S 且(y , z ) ∈ S ,则3y x -是整数且3zy -是整数. 由于333zy y x z x -+-=-是整数,由此得出(x , z ) ∈ S . 综上所述,知S 是R 上的等价关系.7、证 ==⇔=-B A B B A ∅. (⇐)显然.(⇒)因为B A B A ⋂=-,根据B B A =-得B B B B A ⋂=⋂⋂)(,于是B = ∅,进而A = ∅.8、解 由于R 和S 是对称的,所以S S R R==--11,.(⇐)因为R S S R =,两边取逆得11)()(--=R S S R ,而S R S R R S ==---111)(.所以S R S R =-1)(,因此S R 是对称关系.(⇒)由于S R 对称,所以S R S R =-1)(. 而R S R S S R ==---111)(,因而R S S R =.9、解 (1)等值演算法 A 的主合取范式:))(())((r q p p q r A ∨→→→∨⌝== ))(())((r q p p q r ∨∨⌝→∨⌝∨⌝ = )())((r q p p q r ∨∨⌝∨∨⌝∨⌝⌝ = )()(r q p p q r ∨∨⌝∨⌝∧∧ = r q p ∨∨⌝(由吸收律得到). 于是,A 的主析取范式为))(())((r q p p q r A ∨→→→∨⌝== ∨⌝∧⌝∧∨⌝∧∧⌝∨∧⌝∧⌝∨⌝∧⌝∧⌝)()()()(r q p r q p r q p r q p)()()(r q p r q p r q p ∧∧∨⌝∧∧∨∧⌝∧.(2)真值表法命题公式))(())((r q p p q r A ∨→→→∨⌝=的真值表如下:由表可知,))(())((r q p p q r A ∨→→→∨⌝=的主合取范式为r q p A ∨∨⌝=.A 的主析取范式为A = ∨⌝∧⌝∧∨⌝∧∧⌝∨∧⌝∧⌝∨⌝∧⌝∧⌝)()()()(r q p r q p r q p r q p)()()(r q p r q p r q p ∧∧∨⌝∧∧∨∧⌝∧.10、证(反证) 假设G 中不含圈. 设G 有k (k ≥ 1)个连通分支k G G G ,...,,21,其节点个数分别为k n n n ,...,,21,其边数分别为k m m m ,...,,21. 这时,i G 为树,根据树的基本性质有1-=i i n m )1(k i i ≤≤. 进而n k n n m m ki i k i i <-=-==∑∑==)1(11,与已知n m ≥矛盾. 证毕.11、解 R 的关系图如下:, }),(),,(),,(),,(),,(),,(),,{()(a c b d a b c a c c d b b a R s =. }),(),,(),,(),,(),,{()(d a c a c c d b b a R t =.12、解(1)q P(附加) (2))(s r q →→ P (3)s r → T(1)(2)I (4)p P (5) P (6)r q ∨⌝ T(4)(5)I (7)r T(1)(6)I}),(),,(),,(),,(),,(),,(),,{()(d d b b a a c a c c d b b a R r =s q p s r q r q p →⇒→→∨⌝∨⌝),(),()(r q p ∨⌝∨⌝abcd(8)s T(3)(7)I (9)s q → CP13、证 (1)对于任意x ∈ Z , 由于x x x x +=+22, 所以(x , x ) ∈ R , 即R 是自反的. (2)因为(0, 0) ∈ R , 因此R 不是反自反的.(3)对于任意x , y ∈ Z , 若(x , y ) ∈ R , 则y y x x +=+22, 于是x x y y +=+22, 进而(y , x ) ∈ R , 即R 是对称的.(4)因为(2, -3) ∈ R 且(-3, 2) ∈ R ,因此R 不是反对称的.(5)对于任意x , y , z ∈ Z , 若(x , y ) ∈ R 且(y , z ) ∈ R , 则y y x x +=+22且z z y y +=+22,于是z z x x +=+22,所以(x , z ) ∈ R , 即R 是传递的. 综上所述,知R 是自反的、对称的和传递的.14、解 命题公式)())(q p q p A ⌝→↔→⌝=的真值表如下:A )()(q p q p A ⌝∧∨∧=.A 的主合取范式为:)()(q p q p A ∨∧⌝∨=.15、证 将组里的每个人看作节点,两个人是朋友当且仅当对应的节点邻接,于是得到一个n 阶简单无向图G ,进而G 中每节点的度数可能为1,...,2,1,0-n 中一个.当G 中无孤立点时,于是每节点的度数可能为1,...,2,1-n . 由于共有n 个节点,于是必有两节点度数相同.当G 中有孤立点时,这时每节点的度数只可能为2,...,2,1,0-n . 同样由于共有n 个节点,因此必有两节点度数相同.。