吉林大学离散数学课后习题答案
离散数学(第二版)课后习题答案详解(完整版)
离散数学(第⼆版)课后习题答案详解(完整版)习题⼀1.下列句⼦中,哪些是命题?在是命题的句⼦中,哪些是简单命题?哪些是真命题?哪些命题的真值现在还不知道?(1)中国有四⼤发明.答:此命题是简单命题,其真值为 1.(2)5 是⽆理数.答:此命题是简单命题,其真值为 1.(3)3 是素数或 4 是素数.答:是命题,但不是简单命题,其真值为1.(4)2x+ <3 5 答:不是命题.(5)你去图书馆吗?答:不是命题.(6)2 与3 是偶数.答:是命题,但不是简单命题,其真值为0.(7)刘红与魏新是同学.答:此命题是简单命题,其真值还不知道.(8)这朵玫瑰花多美丽呀!答:不是命题.(9)吸烟请到吸烟室去!答:不是命题.(10)圆的⾯积等于半径的平⽅乘以π.答:此命题是简单命题,其真值为 1.(11)只有6 是偶数,3 才能是2 的倍数.答:是命题,但不是简单命题,其真值为0.(12)8 是偶数的充分必要条件是8 能被3 整除.答:是命题,但不是简单命题,其真值为0.(13)2008 年元旦下⼤雪.答:此命题是简单命题,其真值还不知道.2.将上题中是简单命题的命题符号化.解:(1)p:中国有四⼤发明.(2)p: 是⽆理数.(7)p:刘红与魏新是同学.(10)p:圆的⾯积等于半径的平⽅乘以π.(13)p:2008 年元旦下⼤雪.3.写出下列各命题的否定式,并将原命题及其否定式都符号化,最后指出各否定式的真值.(1)5 是有理数.答:否定式:5 是⽆理数. p:5 是有理数.q:5 是⽆理数.其否定式q 的真值为1.(2)25 不是⽆理数.答:否定式:25 是有理数. p:25 不是⽆理数. q:25 是有理数. 其否定式q 的真值为1.(3)2.5 是⾃然数.答:否定式:2.5 不是⾃然数. p:2.5 是⾃然数. q:2.5 不是⾃然数. 其否定式q 的真值为1.(4)ln1 是整数.答:否定式:ln1 不是整数. p:ln1 是整数. q:ln1 不是整数. 其否定式q 的真值为1.4.将下列命题符号化,并指出真值.(1)2 与5 都是素数答:p:2 是素数,q:5 是素数,符号化为p q∧,其真值为 1.(2)不但π是⽆理数,⽽且⾃然对数的底e 也是⽆理数.答:p:π是⽆理数,q:⾃然对数的底e 是⽆理数,符号化为p q∧,其真值为1.(3)虽然2 是最⼩的素数,但2 不是最⼩的⾃然数.答:p:2 是最⼩的素数,q:2 是最⼩的⾃然数,符号化为p q∧? ,其真值为1.(4)3 是偶素数.答:p:3 是素数,q:3 是偶数,符号化为p q∧,其真值为0.(5)4 既不是素数,也不是偶数.答:p:4 是素数,q:4 是偶数,符号化为? ∧?p q,其真值为0.5.将下列命题符号化,并指出真值.(1)2 或3 是偶数.(2)2 或4 是偶数.(3)3 或5 是偶数.(4)3 不是偶数或4 不是偶数.(5)3 不是素数或4 不是偶数.答: p:2 是偶数,q:3 是偶数,r:3 是素数,s:4 是偶数, t:5 是偶数(1)符号化: p q∨,其真值为1.(2)符号化:p r∨,其真值为1.(3)符号化:r t∨,其真值为0.(4)符号化:? ∨?q s,其真值为1.(5)符号化:? ∨?r s,其真值为0.6.将下列命题符号化.(1)⼩丽只能从筐⾥拿⼀个苹果或⼀个梨.答:p:⼩丽从筐⾥拿⼀个苹果,q:⼩丽从筐⾥拿⼀个梨,符号化为: p q∨ .(2)这学期,刘晓⽉只能选学英语或⽇语中的⼀门外语课.答:p:刘晓⽉选学英语,q:刘晓⽉选学⽇语,符号化为: (? ∧∨∧?p q)(p q) .7.设p:王冬⽣于1971 年,q:王冬⽣于1972 年,说明命题“王冬⽣于1971 年或1972年”既可以化答:列出两种符号化的真值表:合命题可以发现,p 与q 不可能同时为真,故上述命题有两种符号化⽅式.8.将下列命题符号化,并指出真值., 就有;(1)只要, 则;, 才有;(3)只有, 才有;(4)除⾮, 否则;(5)除⾮(6)仅当.答:设p: , 则: ; 设q: , 则: .(1);(2);;(3);(4);(5);(6);(7).答:根据题意,p 为假命题,q 为真命题.(1);(2);(3);(4).答:根据题意,p 为真命题,q 为假命题.(1)若2+2=4,则地球是静⽌不动的;(2)若2+2=4,则地球是运动不⽌的;(3)若地球上没有树⽊,则⼈类不能⽣存;(4)若地球上没有⽔,则是⽆理数.12.将下列命题符号化,并给出各命题的真值:(1)2+2=4 当且仅当3+3=6;(2)2+2=4 的充要条件是3+3 6;(3)2+2 4 与3+3=6 互为充要条件;(4)若2+2 4,则3+3 6,反之亦然.答:设p:2+2=4,q:3+3=6.(1)若今天是星期⼀,则明天是星期⼆;(2)只有今天是星期⼀,明天才是星期⼆;(3)今天是星期⼀当且仅当明天是星期⼆;(4)若今天是星期⼀,则明天是星期三.答:设p:今天是星期⼀,q:明天是星期⼆,r:明天是星期三.(1)刘晓⽉跑得快,跳得⾼;(2)⽼王是⼭东⼈或者河北⼈;(3)因为天⽓冷,所以我穿了⽻绒服;(4)王欢与李乐组成⼀个⼩组;(5)李欣与李末是兄弟;(6)王强与刘威都学过法语;(7)他⼀⾯吃饭,⼀⾯听⾳乐;(8)如果天下⼤⾬,他就乘班车上班;(9)只有天下⼤⾬,他才乘班车上班;(10)除⾮天下⼤⾬,否则他不乘班车上班;(11)下雪路滑,他迟到了;(12)2 与4 都是素数,这是不对的;(13)“2 或 4 是素数,这是不对的”是不对的.答:q:⼤熊猫产在中国.r:太阳从西⽅升起. 求下列符合命题的真值:(1)(2)(3)(4)解:p真值为1,q 真值为1,r 真值为0.(1)0,(2)0,(3)0,(4)116.当p,q 的真值为0,r,s 的真值为1 时,求下列各命题公式的真值:(1)(2)(3)(4)解:(1)0,(2)0,(3)0,(4)117.判断下⾯⼀段论述是否为真:“ 是⽆理数.并且,如果3 是⽆理数,则也是⽆理数.另外,只有6 能被2 整除,6 才能被4 整除.”解:p: 是⽆理数q: 3 是⽆理数r:是⽆理数s: 6 能被2 整除t:6 能被 4 整除符号化为: ,该式为重⾔式,所以论述为真。
离散数学课后习题答案(最新)
习题参考解答习题1.11、(3)P:银行利率降低Q:股价没有上升P∧Q(5)P:他今天乘火车去了北京Q:他随旅行团去了九寨沟PQ(7)P:不识庐山真面目Q:身在此山中Q→P,或~P→~Q(9)P:一个整数能被6整除Q:一个整数能被3整除R:一个整数能被2整除T:一个整数的各位数字之和能被3整除P→Q∧R ,Q→T2、(1)T (2)F (3)F (4)T (5)F(6)T (7)F (8)悖论习题 1.31(3))()()()()()(R P Q P R P Q P R Q P R Q P →∨→⇔∨⌝∨∨⌝⇔∨∨⌝⇔∨→(4)()()()(())()(()())(())()()()()P Q Q R R P P R Q R P P R R P Q R P P R P R Q R Q P ∧∨∧∨∧=∨∧∨∧=∨∨∧∧∨∧=∨∧∨∧∨∧∨=右2、不, 不, 能习题 1.41(3) (())~((~))(~)()~(~(~))(~~)(~)P R Q P P R Q P P R T P R P R Q Q P R Q P R Q →∧→=∨∧∨=∨∧=∨=∨∨∧=∨∨∧∨∨、主合取范式)()()()()()()()()()()()()()())(())(()()(())()())(()((Q P R P Q R P Q R R Q P R Q P R Q P Q P R Q P R P Q R P Q R R Q P R Q P R Q P R Q P Q Q P R P P Q R R R Q Q P P R Q R P P Q R P P Q R P ∧∧∨∧⌝∧∨⌝∧⌝∧∨∧⌝∧⌝∨⌝∧∧⌝∨⌝∧⌝∧⌝=∧∧∨⌝∧∧∨∧⌝∧∨⌝∧⌝∧∨∧⌝∧⌝∨∧⌝∧⌝∨⌝∧∧⌝∨⌝∧⌝∧⌝=∨⌝∧∧∨∨⌝∧⌝∧∨∨⌝∧∨⌝∧⌝=∧∨⌝∧∨⌝=∨⌝∧∨⌝=→∧→ ————主析取范式(2) ()()(~)(~)(~(~))(~(~))(~~)(~)(~~)P Q P R P Q P R P Q R R P R Q Q P Q R P Q R P R Q →∧→=∨∧∨=∨∨∧∧∨∨∧=∨∨∧∨∨∧∨∨ 2、()~()(~)(~)(~~)(~)(~~)P Q R P Q R P Q P R P Q R P Q R P R Q →∧=∨∧=∨∧∧=∨∨∧∨∨∧∨∨∴等价3、解:根据给定的条件有下述命题公式:(A →(C ∇D ))∧~(B ∧C )∧~(C ∧D )⇔(~A ∨(C ∧~D )∨(~C ∧D ))∧(~B ∨~C )∧(~C ∨~D )⇔((~A ∧~B )∨(C ∧~D ∧~B )∨(~C ∧D ∧~B )∨(~A ∧~C )∨(C ∧~D ∧~C )∨(~C ∧D ∧~C ))∧(~C ∨~D )⇔((~A ∧~B )∨(C ∧~D ∧~B )∨(~C ∧D ∧~B )∨(~A ∧~C )∨(~C ∧D ∧~C )) ∧(~C ∨~D )⇔(~A ∧~B ∧~C )∨(C ∧~D ∧~B ∧~C )∨(~C ∧D ∧~B ∧~C )∨ (~A ∧~C ∧~C )∨(~C ∧D ∧~C ∧~C )∨(~A ∧~B ∧~D )∨(C ∧~D ∧~B ∧~D )∨(~C ∧D ∧~B ∧~D )∨(~A ∧~C ∧~D )∨ (~C ∧D ∧~C ∧~D )(由题意和矛盾律)⇔(~C ∧D ∧~B )∨(~A ∧~C )∨(~C ∧D )∨(C ∧~D ∧~B )⇔(~C ∧D ∧~B ∧A )∨ (~C ∧D ∧~B ∧~A )∨ (~A ∧~C ∧B )∨ (~A ∧~C ∧~B )∨ (~C ∧D ∧A )∨ (~C ∧D ∧~A )∨(C ∧~D ∧~B ∧A )∨(C ∧~D ∧~B ∧~A )⇔(~C ∧D ∧~B ∧A )∨ (~A ∧~C ∧B ∧D )∨ (~A ∧~C ∧B ∧~D )∨(~A ∧~C ∧~B ∧D )∨ (~A ∧~C ∧~B ∧~D )∨(~C ∧D ∧A ∧B )∨ (~C ∧D ∧A ∧~B )∨ (~C ∧D ∧~A ∧B )∨ (~C ∧D ∧~A ∧~B )∨(C ∧~D ∧~B ∧A )∨(C ∧~D ∧~B ∧~A ) ⇔(~C ∧D ∧~B ∧A )∨ (~A ∧~C ∧B ∧D )∨ (~C ∧D ∧A ∧~B )∨ (~C ∧D ∧~A ∧B ) ∨(C ∧~D ∧~B ∧A )⇔(~C ∧D ∧~B ∧A )∨ (~A ∧~C ∧B ∧D )∨(C ∧~D ∧~B ∧A ) 三种方案:A 和D 、 B 和D 、 A 和C习题 1.51、 (1)需证()(())P Q P P Q →→→∧为永真式()(())~(~)(~())~~(~)(()(~))~(~)(~)()P Q P P Q P Q P P Q P P P Q P Q TP Q P Q T P Q P P Q →→→∧=∨∨∨∧∨=∨∨∧∨=∨∨∨=∴→⇒→∧(3)需证S R P P →∧⌝∧为永真式SR P P T S F S R F S R P P ⇒∧⌝∧∴⇔→⇔→∧⇔→∧⌝∧3A B A B ⇒∴→ 、为永真式。
吉林大学2019-2020学年第一学期期末考试《离散数学》大作业参考答案
吉林大学网络教育学院2019-2020学年第一学期期末考试《离散数学》大作业学生姓名专业层次年级学号学习中心成绩年月日作业完成要求:大作业要求学生手写,提供手写文档的清晰扫描图片,并将图片添加到word 文档内,最终wod文档上传平台,不允许学生提交其他格式文件(如JPG,RAR等非word 文档格式),如有雷同、抄袭成绩按不及格处理。
一、简答题(每小题7分,共56分)1、什么是命题公式的演绎?答:首先定义了消解复杂性的两种范式:最简范式和文字范式,在此基础上采用演绎方法证明了L中的可判定性定理,并设计了命题公式的演绎判定算法P(F).P(F)的时间复杂度为O(n3),远远小于基于真值表法的O(2n)和基于策略方案HAL的O(n5)。
2、什么是子句?请给出一例。
答:子句是一组包含一个主词和一个动词的关连字。
子句与片语有明显的不同,后者为一组不含主词与动词关系的关连字,如"in the morning" 或"running down the street" 或"having grown used to this harassment."3、什么是短语?请给出一例。
答:短语是由句法、语义和语用三个层面上能够搭配的语言单位组合起来的没有句调的语言单位,又叫词组。
它是大于词而又不成句的语法单位。
简单的短语可以充当复杂短语的句法成分,短语加上句调可以成为句子。
由语法上能够搭配的词组合起来的没有句调的语言单位例如:粮食//丰收(名//动)(什么//怎么样)4、什么是命题逻辑中的文字?答:检测和消除命题逻辑公式中的冗余文字,是人工智能领域广泛研究的基本问题。
针对命题逻辑的子句集中子句的划分,结合冗余子句和冗余文字的概念,将命题逻辑的子句集中的文字分为必需文字、有用文字和无用文字3类。
5、什么是析取范式?请给出一例。
答:在离散数学中,仅由有限个文字构成的合取式称为简单合取式,而由有限个简单合取式构成的析取式称为析取范式。
吉大网院 离散数学 大作业及答案 201903
一、简要回答下列问题(每小题5分,共30分)1、请给出集合的吸收率。
2、设A={1,2},请给出A上的所有关系。
答:集合A上的全部关系有2^(2^2)=16种:空关系{},全关系{<1,1>,<1,2>,<2,1>,<2,2>}{<1,1>}{<2,2>}{<1,2>}{<2,1>}{<1,1>,<1,2>}{<1,1>,<2,1>}{<1,1> ,<2,2>}{<1,2>,<2,1>}{<1,2>,<2,2>}{<2,1>,<2,2>}{<1,1>,<1,2>,<2,1>}{<1,1>,<1,2>,<2,2>}{< 1,1>,<2,1>,<2,2>}{<1,2>,<2,1>,<2,2>}3、什么是子句?请给出一例。
答:子句集S称为是可满足的,如果存在一个个体域和一种解释,使S中的每一个子句均为真,或者使得S的每一个子句中至少有一个文字为真。
否则, 称子句集S是不可满足的4、什么是前束范式?答:前束范式亦称前束式,一种谓词演算公式。
指其一切量词都未被否定地处于公式的最前端且其辖域都延伸至公式的末端的谓词演算公式。
设Q∈{∃,ᗄ},一个公式α是前束范式,当且仅当存在一个不含量词的公式β,使得α=(Q₁x₁)(Q₂x₂)…(Qₑxₑ)β.5、什么是谓词逻辑中的项?答:谓词逻辑中的项指变项和常项,变项又分为自由变项和约束变项。
6、什么是命题公式的演绎?答:用A'表示非A,则(A+B)'=A'B',(AB)'=A'+B'.二、设A是m元集合,B是n元集合。
吉大离散数学试题及答案
吉大离散数学试题及答案一、选择题1. 以下哪个选项不是离散数学中的基本概念?A. 集合B. 函数C. 微积分D. 关系答案:C2. 在集合论中,以下哪个操作不是基本的集合运算?A. 并集B. 交集C. 差集D. 微分答案:D3. 逻辑运算中的“与”操作,其结果为真当且仅当两个操作数都为真。
这个操作的符号是:A. ∧B. ∨C. ¬D. →答案:A二、填空题1. 一个集合的幂集包含该集合的所有_________。
答案:子集2. 如果函数f: A → B 是单射的,那么对于 A 中的任意两个不同的元素 a1 和 a2,f(a1) 和 f(a2) 在 B 中是_________的。
答案:不同的三、简答题1. 简述什么是图论中的“图”?答案:图是由顶点(或称为节点)和连接这些顶点的边组成的数学结构。
图可以是有向的或无向的,边可以是有权重的或无权重的。
2. 什么是逻辑中的“真值表”?答案:真值表是一种列出逻辑表达式中所有可能的真值组合及其结果的表格。
它用于展示逻辑表达式在不同输入值下的结果。
四、计算题1. 给定集合 A = {1, 2, 3} 和 B = {2, 3, 4},请找出 A 和 B 的交集。
答案:A ∩ B = {2, 3}2. 假设有一个函数 f(x) = x^2,计算 f(-3) 和 f(3) 的值。
答案:f(-3) = 9,f(3) = 9五、论述题1. 论述离散数学在计算机科学中的应用。
答案:离散数学是计算机科学的基础,它提供了处理计算机科学问题所需的数学工具和理论。
例如,集合论是数据库理论的基础;图论在网络和算法设计中有着广泛应用;逻辑和布尔代数是计算机硬件设计和编程语言的基础。
2. 讨论命题逻辑和谓词逻辑的区别。
答案:命题逻辑关注简单命题及其逻辑关系,而谓词逻辑则引入了量词和变量,允许表达更复杂的逻辑关系。
命题逻辑使用逻辑连接词(如与、或、非等)来构建表达式,而谓词逻辑则使用量词(如全称量词∀和存在量词∃)来描述涉及个体的命题。
大学_《离散数学》课后习题答案
《离散数学》课后习题答案《离散数学》简介1、集合论部分:集合及其运算、二元关系与函数、自然数及自然数集、集合的基数2、图论部分:图的基本概念、欧拉图与哈密顿图、树、图的矩阵表示、平面图、图着色、支配集、覆盖集、独立集与匹配、带权图及其应用3、代数结构部分:代数系统的基本概念、半群与独异点、群、环与域、格与布尔代数4、组合数学部分:组合存在性定理、基本的计数公式、组合计数方法、组合计数定理5、数理逻辑部分:命题逻辑、一阶谓词演算、消解原理离散数学被分成三门课程进行教学,即集合论与图论、代数结构与组合数学、数理逻辑。
教学方式以课堂讲授为主,课后有书面作业、通过学校网络教学平台发布课件并进行师生交流。
《离散数学》学科内容随着信息时代的到来,工业革命时代以微积分为代表的连续数学占主流的地位已经发生了变化,离散数学的重要性逐渐被人们认识。
离散数学课程所传授的思想和方法,广泛地体现在计算机科学技术及相关专业的诸领域,从科学计算到信息处理,从理论计算机科学到计算机应用技术,从计算机软件到计算机硬件,从人工智能到认知系统,无不与离散数学密切相关。
由于数字电子计算机是一个离散结构,它只能处理离散的或离散化了的数量关系,因此,无论计算机科学本身,还是与计算机科学及其应用密切相关的现代科学研究领域,都面临着如何对离散结构建立相应的数学模型;又如何将已用连续数量关系建立起来的数学模型离散化,从而可由计算机加以处理。
离散数学是传统的逻辑学,集合论(包括函数),数论基础,算法设计,组合分析,离散概率,关系理论,图论与树,抽象代数(包括代数系统,群、环、域等),布尔代数,计算模型(语言与自动机)等汇集起来的一门综合学科。
离散数学的应用遍及现代科学技术的诸多领域。
离散数学也可以说是计算机科学的基础核心学科,在离散数学中的有一个著名的典型例子-四色定理又称四色猜想,这是世界近代三大数学难题之一,它是在1852年,由英国的一名绘图员弗南西斯格思里提出的,他在进行地图着色时,发现了一个现象,“每幅地图都可以仅用四种颜色着色,并且共同边界的国家都可以被着上不同的颜色”。
吉林大学2015离散2习题解答资料
—习题
判断题
• 对于有理数集合Q以及有理数乘法 ·,(Q,·)可 以做成一个群。(×)
• 置换的乘积满足交换律。(×) • 3次交代群是3次对称群的一个真子群。( √) • 循环群的生成元未必唯一。( √) • 若N是群G的正规子群,则N在G中的所有陪集关
于陪集乘法做成一个群。(√ )
(a + b)×(a + b)=a+b 所以,a+(a×b)+(b×a)+b=a+b,即,
(a×b)+(b×a) = 0 ……(*)。 在(*)式中取a=b,则(a×a)+(a×a) = 0,故 a+a=0。
证明题
证明:若环(R,×,+)对×运算满足等幂律,即 对R中任意元素a,都有a×a=a,证明: (1)对R中任意元素a,有a + a = 0。 (2)R是交换环。
f(a+b)=1=(-1)×(-1)=f(a)×f(b); ③若a、b一奇一偶,不妨设a为奇数、b为偶数, 则a+b为奇数,
f(a+b)=-1=(-1)×1=f(a)×f(b)。 可见,f为G1到G2内的同态映射。
简答题
• G1=(Z,+),G2=(R*,×),其中R*为非零实数
集合,+和×分别表示数的加法和乘法。f为G1到G2
<Z,*>为群。 (2)它是一个无限循环群,生成元是3和1,其中 3n=n+2,1n=2-n。
证明题
证明:设G是一个群,a,b,c∈G,证明 (1)a, a-1 和b-1ab的周期相同 (2)ab和ba的周期相同 (3)abc, bca和cab的周期相同.。
证明:(1)设 a的周期为 k1,a-1的周期为 k2,b-1ab 的周期为k3。
吉林大学离散数学课后习题答案
第一章集合论基础§1.1 基本要求1. 掌握集合、子集、超集、空集、幂集、集合族的概念。
懂得两个集合间相等和包含关系的定义和性质,能够利用定义证明两个集合相等。
熟悉常用的集合表示方法。
2. 掌握集合的基本运算:并、交、余、差、直乘积、对称差的定义以及集合运算满足的基本算律,能够利用它们来证明更复杂的集合等式。
3. 掌握关系、二元关系、空关系、全域关系、相等关系、逆关系的概念以及关系的性质:自反性、对称性、反对称性、传递性。
会做关系的乘积。
了解关系的闭包运算:自反闭包、对称闭包、传递闭包。
4. 掌握等价关系、等价类、商集的概念,了解等价关系和划分的内在联系。
5. 掌握部分序关系、部分序集、全序关系、全序集的概念以及部分序集中的特殊元素:最大元、最小元、极大元、极小元、上确界、小确界的定义。
能画出有限部分序集的Hasse 图,并根据图讨论部分序集的某些性质。
6. 掌握映射、映像、1-1映射等概念,会做映射的乘积。
了解可数集合的概念,掌握可数集合的判定方法。
7. 了解关系在数据库中的应用(数据的增、删、改)以及划分在计算机中的应用。
§1.2 主要解题方法1.2.1 证明集合的包含关系方法一.用定义来证明集合的包含关系是最常用也是最基本的一种方法。
要证明A⊆B,首先任取x∈A,再演绎地证出x∈B成立。
由于我们选择的元素x是属于A的任何一个,而非特指的一个,故知给出的演绎证明对A中含有的每一个元素都成立。
当A是无限集时,因为我们不能对x∈A,逐一地证明x∈B成立,所以证明时的假设“x是任取的”就特别重要。
例1.2.1 设A,B,C,D是任意四个非空集合,若A⊆C,B⊆D,则A×B⊆C×D。
证明:任取(x,y) ∈A×B,往证(x,y) ∈C×D。
由(x,y) ∈A×B知,x∈A,且y∈B。
又由A⊆C,B⊆D知,x∈C,且y∈D,因此,(x,y) ∈C×D。
[离散数学课后习题答案]离散数学课后习题答案(第一章)
[离散数学课后习题答案]离散数学课后习题答案(第一章)篇一: 离散数学课后习题答案1-1,1-2指出下列哪些语句是命题,那些不是命题,如果是命题,指出它的真值。
离散数学是计算机科学系的一门必修课。
是命题,真值为T。
b)计算机有空吗?不是命题。
c)明天我去看电影。
是命题,真值要根据具体情况确定。
d)请勿随地吐痰。
不是命题。
e)不存在最大的质数。
是命题,真值为T。
f)如果我掌握了英语,法语,那么学习其他欧洲语言就容易多了。
是命题,真值为T。
g)9+5≤12.是命题,真值为F。
h)X=3.不是命题。
i)我们要努力学习。
不是命题。
举例说明原子命题和复合命题。
原子命题:我爱北京天安门。
复合命题:如果不是练健美操,我就出外旅游拉。
设P表示命题“天下雪。
”Q表示“我将去镇上。
”R表示命题“我有时间。
”以符号形式写出下列命题a)如果天不下雪和我有时间,那么我将去镇上。
b)我将去镇上,仅当我有时间时。
c)天不下雪。
d)天下雪,那么我不去镇上。
用汉语写出一些句子,对应下列每一个命题。
a)Q?Q:我将去参加舞会。
R:我有时间。
P:天下雨。
Q?:我将去参加舞会当且仅当我有时间和天不下雨。
→QQ→R ┓PP→┓Qb)R∧QR:我在看电视。
[)Q:我在吃苹果。
R∧Q:我在看电视边吃苹果。
c)∧Q:一个数是奇数。
R:一个数不能被2除。
∧:一个数是奇数,则它不能被2整除并且一个数不能被2整除,则它是奇数。
将下列命题符号化。
a)王强身体很好,成绩也很好。
设P:王强身体很好。
Q:王强成绩很好。
P∧Qb)小李一边看书,一边听音乐。
设P:小李看书。
Q:小李听音乐。
P∧Qc)气候很好或很热。
设P:气候很好。
Q:气候很热。
P∨Qd)如果a和b是偶数,则a+b是偶数。
设P:a和b是偶数。
Q:a+b是偶数。
P→Qe)四边形ABCD是平行四边形,当且仅当它的对边平行。
设P:四边形ABCD是平行四边形。
Q:四边形ABCD的对边平行。
P?Qf)停机的原因在于语法错误或程序错误。
离散数学习题答案精选全文完整版
可编辑修改精选全文完整版离散数学习题答案习题一: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. 设A={1,2,3},B={2,3,4},求A∪B和A∩B的结果。
答案:A∪B={1,2,3,4},A∩B={2,3}。
2. 证明:任意集合A和B,有(A-B)∪(B-A)=(A∪B)-(A∩B)。
答案:首先,对于任意元素x,如果x属于(A-B)∪(B-A),那么x属于A-B或者x属于B-A。
如果x属于A-B,那么x属于A∪B,但x不属于A∩B;如果x属于B-A,同样有x属于A∪B,但x不属于A∩B。
所以(A-B)∪(B-A)属于(A∪B)-(A∩B)。
另一方面,对于任意元素x,如果x属于(A∪B)-(A∩B),那么x属于A∪B,但x不属于A∩B。
所以x属于A或者x属于B。
如果x属于A,但x不属于B,那么x属于A-B;如果x属于B,但x不属于A,那么x属于B-A。
所以x属于(A-B)∪(B-A)。
所以(A∪B)-(A∩B)属于(A-B)∪(B-A)。
综上所述,(A-B)∪(B-A)=(A∪B)-(A∩B)。
证毕。
二、逻辑与证明1. 证明:如果p为真命题,那么¬p为假命题。
答案:根据命题的定义,命题要么为真,要么为假,不存在其他情况。
所以如果p为真命题,那么¬p为假命题。
2. 证明:对于任意整数n,如果n^2为偶数,则n为偶数。
答案:假设n为奇数,即n=2k+1(k为整数)。
那么n^2=(2k+1)^2=4k^2+4k+1=2(2k^2+2k)+1。
根据偶数的定义,2(2k^2+2k)为偶数,所以n^2为奇数。
吉林大学2020-2021学年第一学期期末考试《离散数学》大作业参考答案
2020-2021学年第一学期期末考试《离散数学》大作业
一综合题 (共1题,总分值10分 )
1. 设I是如下一个解释:
D={3,2}
试求出下列公式在I下的真值:
(1)(a,f(a))∧P(b,f(b));
(2)x∃yP(y,x);
(3)x∀y(P(x,y)→P(f(x),f(y)));(10 分)
解:
二证明题 (共1题,总分值10分 )
2. 设K和H都是群G的子群,试证明:若H·K是G的子群,则K·H = H·K。
(10 分)
证明:首先,证明*对于H∩K是封闭的。
设a,b∈H∩K,于是有a∈H,b∈H和a∈K,b∈K;由于(H,*)和(K,*)都是群,所以a*b∈H和a*b ∈K,即a*b∈H∩K,由此证得*对于H∩K是封闭的。
其次,运算*满足结合律是继承的.幺元e∈H∩K是易见的。
如果a∈H∩K,则a∈H,a∈K,并且a-1∈H,a-1∈K,由此可得a-1∈H∩K。
综上证明,(H∩K,*)是(G,*)的子群。
三问答题 (共8题,总分值80分 )
3. 什么是图?(10 分)
答:图(意指离散数学中的图这一概念)中的基本(初级)回路均是简单回路。
离散数学第四版课后标准答案
离散数学第四版课后标准答案离散数学第四版课后答案第1章习题解答1.1 除(3),(4),(5),(11)外全是命题,其中,(1),(2),(8),(9),(10),(14),(15)是简单命题,(6),(7),(12),(13)是复合命题。
分析⾸先应注意到,命题是陈述句,因⽽不是陈述句的句⼦都不是命题。
本题中,(3)为疑问句,(5)为感叹句,(11)为祈使句,它们都不是陈述句,所以它们都不是命题。
其次,4)这个句⼦是陈述句,但它表⽰的判断结果是不确定。
⼜因为(1),(2),(8),(9),(10),(14),(15)都是简单的陈述句,因⽽作为命题,它们都是简单命题。
(6)和(7)各为由联结词“当且仅当”联结起来的复合命题,(12)是由联结词“或”联结的复合命题,⽽(13)是由联结词“且”联结起来的复合命题。
这⾥的“且”为“合取”联结词。
在⽇常⽣活中,合取联结词有许多表述法,例如,“虽然……,但是……”、“不仅……,⽽且……”、“⼀⾯……,⼀⾯……”、“……和……”、“……与……”等。
但要注意,有时“和”或“与”联结的是主语,构成简单命题。
例如,(14)、(15)中的“与”与“和”是联结的主语,这两个命题均为简单命题,⽽不是复合命题,希望读者在遇到“和”或“与”出现的命题时,要根据命题所陈述的含义加以区分。
1.2 (1)p: 2是⽆理数,p为真命题。
(2)p:5能被2整除,p为假命题。
(6)p→q。
其中,p:2是素数,q:三⾓形有三条边。
由于p与q都是真命题,因⽽p→q为假命题。
(7)p→q,其中,p:雪是⿊⾊的,q:太阳从东⽅升起。
由于p为假命题,q为真命题,因⽽p→q为假命题。
(8)p:2000年10⽉1⽇天⽓晴好,今⽇(1999年2⽉13⽇)我们还不知道p的真假,但p的真值是确定的(客观存在的),只是现在不知道⽽已。
(9)p:太阳系外的星球上的⽣物。
它的真值情况⽽定,是确定的。
1(10)p:⼩李在宿舍⾥. p的真值则具体情况⽽定,是确定的。
离散数学课后习题答案二
离散数学课后习题答案二习题3.71. 列出关系}6|{=∈><+d c b a d c b a d c b a 且,,,,,,Z 中所有有序4元组。
解}6|{=∈><+d c b a d c b a d c b a 且,,,,,,Z,2,1,3,1,3,1,2,1,2,3,1,1,3,2,1,1,1,1,1,6,1,1,6,1,1,6,1,1,6,1,1,1{><><><><><><><><=><><><><><><><><2,1,1,3,3,1,1,2,1,2,1,3,1,3,1,2,1,1,2,3, 1,1,3,2,1,2,3,1,1,3,2,12. 列出二维表3.18所表示的多元关系中所有5元组。
假设不增加新的5元组,找出二维表3.18所有的主键码。
表3.18 航班信息航空公司航班登机口目的地起飞时间Nadir 112 34 底特律08:10 Acme 221 22 丹佛 08:17 Acme 122 33 安克雷奇 08:22 Acme 323 34 檀香山 08:30 Nadir 199 13 底特律 08:47 Acme 222 22 丹佛09:10 Nadir 32234底特律09:44解略3. 当施用投影运算5,3,2π到有序5元组><="">解略4. 哪个投影运算用于除去一个6元组的第一、第二和第四个分量?解略5. 给出分别施用投影运算4,2,1π和选择运算Nadir 航空公司=σ到二维表3.18以后得到的表。
解对航班信息二维表进行投影运算5,3,2π后得到的二维表航班登机口起飞时间 112 34 08:10 221 22 08:17 122 33 08:22 323 34 08:30 199 13 08:47 222 22 09:10 3223409:44对航班信息二维表进行选择运算Nadir 航空公司=后得到的二维表航空公司航班登机口目的地起飞时间Nadir 112 34 底特律08:10 Nadir 199 13 底特律 08:47 Nadir 32234底特律09:446. 把连接运算3J 用到5元组二维表和8元组二维表后所得二维表中有序多元组有多少个分量?解略7. 构造把连接运算2J 用到二维表3.19和二维表3.20所得到的二维表。
离散数学第四版课后答案(第4章)
第4章 习题解答4.1 A :⑤; B :③; C :①; D :⑧; E :⑩4.2 A :②; B :③; C :⑤; D :⑩; E :⑦4.3 A :②; B :⑦; C :⑤; D :⑧; E :④分析 题4.1-4.3 都涉及到关系的表示。
先根据题意将关系表示成集合表达式,然后再进行相应的计算或解答,例如,题4.1中的}2,2,1,2,2,1,1,1{},2,2,1,1{><><><><=><><=s s E I};2,2,2,1,1,1{><><><=s I而题4.2中的}.1,4,4,3,1,2,4,1,1,1{><><><><><=R为得到题4.3中的R 须求解方程123=+y x ,最终得到}.1,9,2,6,3,3{><><><=R求R R 有三种方法,即集合表达式、关系矩阵和关系图的主法。
下面由题4.2的关系分别加以说明。
1°集合表达式法将ranR ran domR domR,, 的元素列出来,如图4.3所示。
然后检查R 的每个有序对,若R y x >∈<,,则从domR 中的x 到ranR 中的y 画一个箭头。
若danR 中的x 经过2步有向路径到达ranR 中的y ,则R R y x >∈<,。
由图4.3可知}.1,3,4,2,1,2,4,4,1,44,1,1,1{><><><><>><<><=R R如果求G F ,则将对应于G 中的有序对的箭头画在左边,而将对应于F 中的有序对的箭头画在右边。
对应的三个集合分别为ranF domF ran domG ,, ,然后,同样地寻找domG 到ranF 的2步长的有向路径即可。
吉林大学2003级离散数学IIA卷答案
吉林⼤学2003级离散数学IIA卷答案⼀.(45分)综合题1.(3分) 试举出分别满⾜以下各条件的群的例⼦:1)G是⽆限群,除去单位元外,每个元素的周期都为0;eg: 整数加法群2)G是⽆限群,G中每个元素的周期都有限;eg: {x n-1=0 在复数域的所有根, 其中n = 1,2,3……},复数乘法3)G是⽆限群,G中除单位元外,既有周期有限的元素,也有周期为0的元素。
eg: ⾮零实数乘法群;每个例⼦1分2.(2分)任意的群G中,⽅程x2 = x 有⼏个解?⼀个3.(2分)指数是2的⼦群是否⼀定是正规⼦群?是4.(4分)试求四次对称群S4关于Klein四元群H = {(1), (1 2) (3 4), (13)(2 4), (1 4)(2 3)} 的指数,并写出包含(1 3)的H的左陪集和包含(12)的H的右陪集。
6(2分);{(1 3), (1 4 3 2), (2 4), (1 2 3 4)}; {(1 2), (3 4), (1 3 2 4), (14 2 3)} 这两个每个1分5.(2分)具有如下定义的代数系统(G,*), C 不是群。
A.G={1,10},*是模11的乘法;B.G={1,3,4,5,9},*是模11的乘法;C.G=Q,*是普通的乘法;D.G=Q,*是普通的加法。
答案C6. (2分)任何⼀个具有多个等幂元的半群,它 A 。
A. 不能构成群;B. 不⼀定构成群;C. 必能构成群;D. 能构成交换群。
答案A7.(2分)设G={1,5,7,11},(G,*)为群,其中*为模12的乘法,则7的周期为多少?(G,*)有⼏个真⼦群?2;48.(1分)确定n次置换σ= 1 2 …n – 1 nn n - 1 … 2 1 的奇偶性。
n = 4k, 4k+1 时σ为偶置换,n = 4k+2, 4k+3 时为σ奇置换。
或者,σ的奇偶性与└n/2┘相同――n/2取地板运算只答奇置换或偶置换不得分9.(3分)写出I/18I的所有理想。
吉林大学离散数学课后习题答案
第二章命题逻辑§2.2 主要解题方法2.2.1 证明命题公式恒真或恒假主要有如下方法:方法一.真值表方法。
即列出公式的真值表,若表中对应公式所在列的每一取值全为1,这说明该公式在它的所有解释下都是真,因此是恒真的;若表中对应公式所在列的每一取值全为0,这说明该公式在它的所有解释下都为假,因此是恒假的。
真值表法比较烦琐,但只要认真仔细,不会出错。
例2.2.1 说明 G= (P∧Q→R)∧(P→Q)→(P→R)是恒真、恒假还是可满足。
解:该公式的真值表如下:表2.2.1由于表2.2.1中对应公式G所在列的每一取值全为1,故G恒真。
方法二.以基本等价式为基础,通过反复对一个公式的等价代换,使之最后转化为一个恒真式或恒假式,从而实现公式恒真或恒假的证明。
例2.2.2 说明 G= ((P→R) ∨⌝ R)→ (⌝ (Q→P) ∧ P)是恒真、恒假还是可满足。
解:由(P→R) ∨⌝ R=⌝P∨ R∨⌝ R=1,以及⌝ (Q→P) ∧ P= ⌝(⌝Q∨ P)∧ P = Q∧⌝ P∧ P=0知,((P→R) ∨⌝ R)→ (⌝ (Q→P) ∧ P)=0,故G 恒假。
方法三.设命题公式G含n个原子,若求得G的主析取范式包含所有2n个极小项,则G是恒真的;若求得G的主合取范式包含所有2n个极大项,则G是恒假的。
方法四. 对任给要判定的命题公式G,设其中有原子P1,P2,…,P n,令P1取1值,求G的真值,或为1,或为0,或成为新公式G1且其中只有原子P2,…,P n,再令P1取0值,求G真值,如此继续,到最终只含0或1为止,若最终结果全为1,则公式G恒真,若最终结果全为0,则公式G恒假,若最终结果有1,有0,则是可满足的。
例子参见书中例2.4.3。
方法五. 注意到公式G蕴涵公式H的充要条件是:公式G→H是恒真的;公式G,H等价的充要条件是:公式G↔H是恒真的,因此,如果待考查公式是G→H型的,可将证明G→H 是恒真的转化为证明G蕴涵H;如果待考查公式是G↔H型的,可将证明G↔H是恒真的转化为证明G和H彼此相蕴涵。
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
第一章集合论基础§1.1 基本要求1. 掌握集合、子集、超集、空集、幂集、集合族的概念。
懂得两个集合间相等和包含关系的定义和性质,能够利用定义证明两个集合相等。
熟悉常用的集合表示方法。
2. 掌握集合的基本运算:并、交、余、差、直乘积、对称差的定义以及集合运算满足的基本算律,能够利用它们来证明更复杂的集合等式。
3. 掌握关系、二元关系、空关系、全域关系、相等关系、逆关系的概念以及关系的性质:自反性、对称性、反对称性、传递性。
会做关系的乘积。
了解关系的闭包运算:自反闭包、对称闭包、传递闭包。
4. 掌握等价关系、等价类、商集的概念,了解等价关系和划分的内在联系。
5. 掌握部分序关系、部分序集、全序关系、全序集的概念以及部分序集中的特殊元素:最大元、最小元、极大元、极小元、上确界、小确界的定义。
能画出有限部分序集的Hasse 图,并根据图讨论部分序集的某些性质。
6. 掌握映射、映像、1-1映射等概念,会做映射的乘积。
了解可数集合的概念,掌握可数集合的判定方法。
7. 了解关系在数据库中的应用(数据的增、删、改)以及划分在计算机中的应用。
§1.2 主要解题方法1.2.1 证明集合的包含关系方法一.用定义来证明集合的包含关系是最常用也是最基本的一种方法。
要证明A⊆B,首先任取x∈A,再演绎地证出x∈B成立。
由于我们选择的元素x是属于A的任何一个,而非特指的一个,故知给出的演绎证明对A中含有的每一个元素都成立。
当A是无限集时,因为我们不能对x∈A,逐一地证明x∈B成立,所以证明时的假设“x是任取的”就特别重要。
例1.2.1 设A,B,C,D是任意四个非空集合,若A⊆C,B⊆D,则A×B⊆C×D。
证明:任取(x,y) ∈A×B,往证(x,y) ∈C×D。
由(x,y) ∈A×B知,x∈A,且y∈B。
又由A⊆C,B⊆D知,x∈C,且y∈D,因此,(x,y) ∈C×D。
故,A×B⊆C×D。
方法二.还有一种证明集合包含关系的方法,基于集合的交和并运算的两个基本性质A⊆B⇔A⋂B=A⇔A⋃B=B以及一些已经证出的集合等式。
现在我们就用此方法将上例再证一次。
由下面例1.2.2证明的结论有(A×B)⋂(C×D)=(A⋂C)×(B⋂D),若A⊆C,B⊆D,则A⋂C=A,B⋂D=B,因此,(A×B)⋂(C×D)=A×B。
因此,A×B⊆C×D。
1.2.2 证明集合的相等方法一.若A,B 是有限集,要证明集合A=B当然可以通过逐一比较两集合所有元素均一一对应相等即可,但当A,B 是无限集时,一般通过证明集合包含关系的方法证得A⊆B,B⊆A即可。
例1.2.2 设A,B,C,D是任意四个集合,求证(A×B)⋂(C×D)=(A⋂C)×(B⋂D)。
证明:首先证明(A×B)⋂(C×D)⊆(A⋂C)×(B⋂D)。
任取(x,y)∈(A×B)⋂(C×D),则(x,y)∈(A×B),且(x,y)∈(C×D),故x∈A,y∈B,x∈C,y∈D,即x∈A⋂C,y∈B⋂D,因此,(x,y)∈(A⋂C)×(B⋂D)。
由于以上证明的每一步都是等价的,所以上述论证反方向进行也是成立的。
故可证得(A⋂C)×(B⋂D)⊆(A×B)⋂(C×D)。
因此,(A×B)⋂(C×D)=(A⋂C)×(B⋂D)。
方法二. 还有一种证明集合相等的方法,可以通过已证出的集合等式,通过相等变换将待证明的等式左(右)边的集合化到右(左)边的集合,或者两边同时相等变换到同一集合。
例1.2.2 设A,B,C是三个集合,已知A⋂B=A⋂C,A⋃B=A⋃C,求证B=C。
证法1:使用反证法。
假设B≠C,则必存在x,满足x∈B,且x∉C,或者x∉B,且x∈C。
不妨设x∈B,且x∉C,①若x∈A,则x∈A⋂B,但x∉A⋂C,与A⋂B=A⋂C矛盾。
②若x∉A,则x∈A⋃B,但x∉A⋃C,与A⋃B=A⋃C矛盾。
所以原假设不对,B=C。
证法2:利用已知以及集合运算的交换律、分配律与吸收律,有B = B⋂(A⋃B)= B⋂(A⋃C)= (B⋂A)⋃(B⋂C)= (C⋂A) ⋃(B⋂C)= C⋂(A⋃B)= C⋂(A⋃C)= C1.2.3 判断给定关系的性质给出一个关系,我们可以判断它是否具有自反性、反自反性、对称性、反对称性、传递性等性质,这既可以从以集合形式给出的关系来判断,也可以从关系的关系图或关系矩阵出发来进行判断。
R的集合表达式、关系图、关系矩阵三者均可以相互唯一确定,比较关系的这三种表示方法容易看出:关系的集合表达式便于书写,关系矩阵便于存储,而关系图直观、清晰。
方法一.从关系的集合表达式判断关系的性质设R为集合A 上的关系,(1)若I A⊆R,则R具有自反性;(2)若I A⋂R=φ,则R具有反自反性;(3)若R-1=R,则R具有对称性;(4)若R⋂R-1⊆I A,则R具有反对称性;(5)若R2⊆R,则R具有传递性。
方法二.从关系图判断关系的性质定义1.2.1 设A={x1,x2,…,x n},R是A上的二元关系。
以A中的元素为顶点,在图中用“。
”表示顶点。
若x i Rx j,则从顶点x i向x j引有向弧,称所画出的图为R的关系图,记作G(R)。
(1)若R的关系图中每点都有反身弧,则R具有自反性;(2)若R的关系图中任意一点都没有反身弧,则R具有反自反性;(3)在R的关系图中,如果两不同点之间有有向弧的话,那么就一定成对出现,则R 具有对称性;(4)在R的关系图中,若任意两个不同点之间的有向弧都不成对出现,则R具有反对称性。
(5)对于R的关系图中的任意三点a,b,c,不存在这样的情形:有a到b的有向弧,b 到c的有向弧,但无a到c的有向弧,则R具有传递性。
方法三.从关系矩阵判断关系的性质定义1.2.2 设A={x 1,x 2,…,x n },R 是A 上的二元关系。
称矩阵M(R)=(r ij )n×n 为R 的关系矩阵,其中r ij=⎩⎨⎧否则,0,1j i Rx x(1)若R 的关系矩阵的主对角线元素都为1,则R 具有自反性; (2)若R 的关系矩阵的主对角线元素都为0,则R 具有反自反性; (3)若R 的关系矩阵为对称矩阵,则R 具有对称性;(4)在R 的关系矩阵中,若以主对角线为对称的元素都不同时为1,则R 具有反对称性。
在关系矩阵中,若对{0,1}中的元素的加法使用逻辑加法(0+1=0,0+1=1+0=1+1=1),则对于任意的R ,S ⊆A×A ,均有 M(R •S)=M(R)•M(S).由此可见,可以使用矩阵的乘法(加法使用逻辑加法)来做关系的乘积,从而确定其集合表达式。
故可以通过计算M(R 2)来判断R 是否具有传递性。
(5)如果M(R)2中某元素s ij =1,那么M(R)相应位置元素r ij 也一定为1,则R 具有传递性。
例1.2.3 设A={1,2,3,4},R 是A 上的二元关系,R={(1,1),(3,1),(1,3),(3,3),(3,2),(4,3),(4,1),(4,2),(1,2)}(1)画出R 的关系图; (2)写出R 的关系矩阵;(3)说明R 是否具有自反性、反自反性、对称性、反对称性、传递性。
解:(1)R 的关系图如图1.1所示。
图1.1(2)R 的关系矩阵M(R)是⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡0111011100000111(3)方法一:从集合形式给出的关系看,由于(2,2)∉R ,故R 不具有自反性;由于(1,1)∈R ,故R 不具有反自反性;由于(3,2)∈R ,但(2,3)∉R ,故R 不具有对称性;由于(3,1)∈R ,(1,3)∈R ,故R 不具有反对称性;经计算得R 2={(1,1),(3,1),(1,3),(3,3),(3,2),(4,3),(4,1),(4,2),(1,2)} =R ,故R 具有传递性。
方法二:从关系图上看,由于结点2处无反身弧,故R 不具有反自反性;由于(1,1)∈R ,故R 不具有反自反性;由于结点2与4之间的有向弧不是成对出现的,故R 不具有对称性;由于结点1和3之间的有向弧是成对出现的,所以R 不具有反对称性;由于不存在这样的情形:有a 到b 的有向弧,b 到c 的有向弧,但无a 到c 的有向弧,可见R 具有传递性。
方法三:从关系矩阵来看,由于关系矩阵主对角线元素不全是1,故R 不具有自反性;由于关系矩阵主对角线元素存在非零元素,故R 不具有反自反性;由于该矩阵不是对称矩阵,故R 不具有对称性;由于以主对角线为对称的元素有同时为1的,所以R 不具有反对称性;经计算可得M(R 2)= ⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡0111011100000111= M(R), 故可知,R 具有传递性。
1.2.4 求非空集合上的所有等价关系非空集合A 上的一个等价关系R ,决定了A 上的一个划分,这个划分就是商集A/R ,由A/R 又确定了A 上的一个等价关系,这个等价关系实际上就是R 。
同样,非空集合A 上的一个划分π确定了A 上的一个等价关系R ,由R 又决定了A 上的一个划分,即商集A/R ,这个商集A/R 实际上就是π。
因此,在A 上的等价关系和A 上的划分之间建立了一个一一对应,A 上等价关系的数目和A 上的划分的数目是一样的。
所以,要想求出非空集合A 上的所有等价关系,只需先求出A 上的所有划分,再找出由它们确定的等价关系即可。
例1.2.4 设A={a,b,c},求出A 上的所有等价关系。
解:由第二类Stirling 数易知,A 上共有5个划分: п1={{a ,b ,c}}, п2={{a},{b ,c}}, п3={{b},{a ,c}}, п4={{c},{a ,b}}, п5={{a},{b},{c}}。
因此,A 上的等价关系共有5个:由п1确定的等价关系是A 上的全域关系E A , 由п2确定的等价关系是I A ⋃{(b ,c),(c ,b)}, 由п3确定的等价关系是I A ⋃{(a ,c),(c ,a)}, 由п4确定的等价关系是 I A ⋃{(a ,b),(b ,a)}, 由п5确定的等价关系是A 上的相等关系I A 。
1.2.5 判断可数集要判断一个集合A 是否为可数集,大致有如下方法:方法一. 按照可数集的定义, 若A 为有限集,则A 一定是可数集,否则若A 可与自然数集之间存在一个1-1映射,则A 为可数集。