离散数学知识点总结
离散知识点公式总结

离散知识点公式总结1. 集合论集合是离散数学中的基本概念,它是由一些确定的对象所组成的一个整体。
集合之间的运算包括并集、交集、差集、补集等。
其相关公式如下:- 并集:对于集合A和B,它们的并集定义为包含A和B中所有元素的集合,记作A∪B。
公式:A∪B={x|x∈A或x∈B}- 交集:对于集合A和B,它们的交集定义为同时属于A和B的所有元素的集合,记作A∩B。
公式:A∩B={x|x∈A且x∈B}- 差集:对于集合A和B,A与B的差集定义为属于A但不属于B的元素所组成的集合,记作A-B。
公式:A-B={x|x∈A且x∉B}- 补集:对于集合A,相对于全集合U而言,A的补集定义为全集合中不属于A的元素所组成的集合,记作A'。
公式:A'={x|x∈U且x∉A}2. 关系和函数关系是一种描述元素之间的对应关系的数学工具,而函数则是一种特殊的关系。
在离散数学中,关系和函数的定义和性质是非常重要的内容。
其相关公式如下:- 关系R:对于集合A和B,关系R定义为A和B的笛卡尔积中的元素对所组成的集合。
公式:R={(a,b)|a∈A且b∈B}- 函数f:对于集合A和B,如果f是从A到B的一个映射,那么对于任意元素a∈A,都有唯一的元素b∈B与之对应。
公式:f:A→B3. 图论图论是离散数学中的一个重要分支,它研究的是由顶点和边组成的数学结构。
图论的基本概念包括图的类型、路径和回路、连通性、树等。
其相关公式如下:- 有向图:对于图G=(V,E),如果E中的边是有方向的,则称G为有向图。
公式:G=(V,E),E={(u,v)|u,v∈V,u→v}- 无向图:对于图G=(V,E),如果E中的边是无方向的,则称G为无向图。
公式:G=(V,E),E={{u,v}|u,v∈V,u≠v}- 路径:在图G中,顶点v1,v2,...,vn的一个路径是图G中的一个顶点序列,其中相邻的顶点用一条边连接。
公式:v1,v2, (v)- 回路:在图G中,如果一条路径的起点和终点是同一个顶点,则称其为回路。
离散数学知识点总结

离散数学知识点总结离散数学是一门研究离散对象及其关系、运算规则的数学学科。
它在计算机科学、信息学等领域中扮演着重要的角色,是这些领域的基础知识之一。
本文将对离散数学的一些重要知识点进行总结。
一、集合论集合论是离散数学的基础,它研究的是元素的集合以及集合之间的关系。
在集合论中,我们需要了解集合的运算、集合的关系、集合的分割等概念。
集合的运算包括交集、并集、差集和补集等,而集合的关系则包括子集、包含关系等。
此外,集合的分割也是一个重要的概念,它将一个集合划分为不相交的子集。
二、图论图论是离散数学中的重要分支,它研究的是图的性质和图之间的关系。
图由节点和边组成,节点表示对象,边表示对象之间的关系。
图论的核心概念包括图的表示方法、图的遍历算法、最短路径算法等。
在实际应用中,我们可以利用图论来解决线路规划、网络优化等问题。
三、逻辑与真值表逻辑是离散数学的重要组成部分,它研究的是命题之间的关系,以及命题的真值。
逻辑的核心概念包括命题、谓词、命题逻辑和一阶谓词逻辑等。
命题逻辑研究的是命题之间的关系,通过真值表可以展示命题的真值。
一阶谓词逻辑则考虑了命题中的变量、量词等。
四、组合数学组合数学是研究离散对象组合方式的数学学科。
它包括排列、组合、二项式系数等概念。
排列是指从一组对象中取出一些对象按照一定的顺序排列,而组合则是指从一组对象中取出一些对象作为一个集合。
二项式系数是组合数学中常用的工具,它表示在一组对象中选择出一个子集的方式数目。
五、数论数论是离散数学中研究自然数的性质和关系的学科。
它研究整数、素数、同余关系等。
数论的核心概念包括质数与合数、素数分解、同余关系和模运算等。
数论在加密算法、密码学中有广泛的应用,对于保证数据安全性至关重要。
总结起来,离散数学是一门研究离散对象及其关系、运算规则的数学学科,其中包括集合论、图论、逻辑与真值表、组合数学和数论等重要知识点。
它在计算机科学、信息学等领域中具有重要的应用价值。
离散数学知识点整理

离散数学知识点整理离散数学是现代数学的一个重要分支,它在计算机科学、信息科学、数理逻辑等领域都有着广泛的应用。
下面我们来对离散数学中的一些重要知识点进行整理。
一、集合论集合是离散数学中最基本的概念之一。
集合是由一些确定的、互不相同的对象所组成的整体。
比如,{1, 2, 3}就是一个集合。
集合的运算包括并集、交集、差集和补集。
并集是将两个集合中的所有元素合并在一起组成的新集合;交集是两个集合中共同拥有的元素组成的集合;差集是从一个集合中去掉另一个集合中的元素所得到的集合;补集是在给定的全集范围内,某个集合的补集就是全集中不属于该集合的元素组成的集合。
集合的关系有包含、相等、真包含等。
二、数理逻辑数理逻辑是用数学方法来研究逻辑问题。
命题是具有真假值的陈述句。
比如,“今天是晴天”就是一个命题。
命题逻辑中的连接词有“非”“与”“或”“蕴含”“等价”等。
通过这些连接词,可以将简单命题组合成复合命题,并研究其真假性。
谓词逻辑则是对命题逻辑的扩展,它引入了量词“存在”和“任意”,能够更精确地表达命题。
三、关系关系是集合中元素之间的某种联系。
比如,在整数集合中,“大于”就是一种关系。
关系可以用矩阵和关系图来表示。
关系的性质包括自反性、反自反性、对称性、反对称性和传递性。
等价关系是一种特殊的关系,满足自反性、对称性和传递性。
比如,在整数集合中,“模 n 同余”就是一种等价关系。
偏序关系则是满足自反性、反对称性和传递性的关系。
四、函数函数是一种特殊的关系,对于定义域中的每个元素,在值域中都有唯一的元素与之对应。
函数的类型有单射、满射和双射。
单射是指不同的自变量对应不同的函数值;满射是指函数的值域等于整个目标集合;双射则是既单射又满射。
五、图论图由顶点和边组成。
可以分为无向图和有向图。
图的遍历算法有深度优先搜索和广度优先搜索。
最短路径问题是图论中的一个重要问题,比如迪杰斯特拉算法可以用来求解单源最短路径。
六、树树是一种特殊的图,没有回路且连通。
离散数学知识点总结

注意/技巧:析取符号为V,大写字母Vx + y = 3不是命题前件为假时,命题恒为真运用吸收律命题符号化过程中要注意命题间的逻辑关系,认真分析命题联结词所对应的自然语言中的联结词,不能只凭字面翻译。
也就是说,在不改变原意的基础上,按照最简单的方式翻译通用的方法:真值表法VxP(x)蕴含存在xP(x)利用维恩图解题证明两个集合相等:证明这两个集合互为子集常用的证明方法:任取待证集合中的元素<,>构造相应的图论模型第一章命题逻辑命题和联结词命题的条件:表达判断的陈述句、具有确定的真假值。
选择题中的送分题原子命题也叫简单命题,与复合命题相对简单联结词的真值表要记住非(简单)合取(当且仅当P,Q都为真时,命题为真)析取(当且仅当P,Q都为假时,命题为假),P,Q可以同时成立,是可兼的或条件(→)(当且仅当P为真,Q为假时,命题为假)P是前件,Q是后件只要P,就Q等价于P→Q只有P,才Q等价于非P→非Q,也就是Q→PP→Q特殊的表达形式:P仅当Q、Q每当P双条件(↔)(当且仅当P与Q具有相同的真假值时,命题为真,与异或相反)命题公式优先级由高到低:非、合取和析取、条件和双条件括号省略条件:①不改变先后次序的括号可省去②最外层的括号可省去重言式(永真式)、矛盾式(永假式)、偶然式可满足式:包括重言式和偶然式逻辑等价和蕴含(逻辑)等价:这是两个命题公式之间的关系,写作“⇔”,要与作为联结词的↔区分开来。
如果命题公式A为重言式,那么A⇔T常见的命题等价公式:需要背过被标出的,尽量去理解。
关键是掌握公式是将哪个符号转换为了哪个符号,这对于解证明题有很大的帮助!验证两个命题公式是否等价:当命题变元较少时,用真值表法。
当命题变元较多时,用等价变换的方法,如代入规则、替换规则和传递规则定理:设A、B是命题公式,当且仅当A↔B是一个重言式时,有A和B逻辑等价。
蕴含:若A→B是一个重言式,就称作A蕴含B,记作A⇒B常见的蕴含公式的运用方法同上面的命题等价公式证明A⇒B:①肯定前件,推出后件为真②否定后件,推出前件为假当且仅当A⇒B且B⇒A时,A⇔B,也就是说,要证明两个命题公式等价,可以证明它们相互蕴含联结词的完备集新的联结词:条件否定、异或(不可兼或)、或非(析取的否定)、与非(合取的否定)任意命题公式都可由仅含{非,析取}或{非,合取}的命题公式来等价地表示全功能联结词集合极小全功能联结词集合对偶式对偶式:将仅含有联结词非、析取、合取(若不满足,需先做转换)的命题公式A中的析取变合取,合取变析取,T变F,F变T得到的命题公式A*称为A的对偶式范式析取式:否定+析取合取式:否定+合取析取范式:(合取式)析取(合取式)……析取(合取式)。
离散数学复习知识点

复习知识点: 第1章1. 命题、真命题、假命题 2. 命题符号化〔连接词〕设P :天下大雨,Q :他在室内运动,命题“除非天下大雨,否则他不在室内运动”可符合化为〔 D 〕A .Q P ∧⌝B .Q P →⌝C .Q P ⌝→⌝D .Q P ⌝→设P :只有你通过了大学英语六级考试,Q :你是英语专业的学生,R :你可以选修这门课程。
命题“只有你通过了大学英语六级考试而且不是英语专业的学生,才可以选修这门课程”( B )A .R Q)(P →∧B .R Q)(P →⌝∧C .R Q)(P ↔⌝∧D .R Q)(P ↔∧3. 什么是命题公式 4. 命题公式的等价式5. 利用逻辑等价关系证明下面的等价关系 Q P Q)(P P))(Q Q)((P ∨⇔∧→→∧→证明:6. 用真值表法求命题公式的主析取范式和主合取范式 7. 符号化以下语句,并推证结论的有效性。
有些学生相信所有的老师,任何一个学生都不相信骗子,所以老师都不是骗子。
解:设论述域为全总个体域,S(x):x 是学生,T(x):x 是老师,P(x):x 是骗子,L(x,y):x 相信y 。
将前提和结论符号化为P(x))x(T(x)y)))L(x,y(P(y)x(S (x)y))),L(x,y(T(y)x(S (x)⌝→∀⇒⌝→∀→∀→∀∧∃〔1〕y)))L(x,y(T(y)x(S (x)→∀∧∃ P 〔2〕y))L(a,y(T(y)S (a)→∀∧T1,ESQ)(P TQ)(P Q)Q (Q)(P Q Q)(P T)(Q Q)(P P))P ((Q Q)(P Q)(P P)(Q Q)(P Q)(P P)Q (Q)P (Q)(P P))Q (Q)P ((Q)(P P)Q (Q)P (Q)(P P))(Q Q)((P ∨⇔∧∨⇔∨⌝∧∨⇔∨⌝∧⇔∧∨⌝∧⇔∨⌝∧∨⌝∧⇔∧∨⌝∧∨⌝∧⇔∧∨∨⌝⌝∨∨⌝⌝⇔∧∨∨⌝∧∨⌝⌝⇔∧→∨⌝∧∨⌝⇔∧→→∧→〔3〕S(a) T2,I 〔4〕y))L(a,y(T(y)→∀ T2,I 〔5〕b)L(a,T(b)→T4,US 〔6〕y)))L(x,y(P(y)x(S (x)⌝→∀→∀ P 〔7〕y))L(a,y(P(y)S (a)⌝→∀→ T6,US 〔8〕y))L(a,y(P(y)⌝→∀ T3,7,I 〔9〕b)L(a,P(b)⌝→ T8,US 〔10〕P(b)b)L(a,⌝→ T9,E 〔11〕P(b)T(b)⌝→T5,10,I 〔12〕P(x))x(T(x)⌝→∀T11,UG侦查员在调查了某珠宝店的珠宝失窃案现场以及询问了认证之后,得到以下事实: (1) 是营业员甲或营业员乙作案。
离散数学知识点总结及应用

离散数学知识点总结及应用
知识点1: 集合论
- 集合的定义和表示方法
- 集合的运算:并、交、差、补
- 集合的基本性质和定律
知识点2: 逻辑与命题
- 命题的定义和特性
- 命题的联结词:与、或、非
- 命题的真值表和逻辑运算
- 命题的充分条件和必要条件
知识点3: 关系与函数
- 关系的定义和性质
- 关系的类型:自反、对称、传递、等价
- 函数的定义和基本概念
- 函数的特性和图像
知识点4: 图论
- 图的基本概念和术语
- 图的存储结构:邻接矩阵、邻接表
- 图的遍历算法:深度优先搜索、广度优先搜索
- 最短路径算法:Dijkstra算法、Floyd-Warshall算法
知识点5: 组合数学
- 排列和组合的基本概念
- 排列和组合的计算方法
- 随机变量和概率分布
- 组合数学在密码学等领域的应用
知识点6: 布尔代数
- 布尔代数的基本运算:与、或、非
- 布尔函数的最小化方法
- 布尔代数的应用:逻辑电路设计、编码器等
知识点7: 计算理论
- 自动机的基本概念和分类
- 正则语言和正则表达式
- 文法的定义和性质
- 上下文无关文法和巴科斯范式
知识点8: 数论
- 整数的性质和基本运算
- 质数和分解定理
- 同余关系和同余方程
- 数论在加密算法中的应用
以上是离散数学中的一些主要知识点和应用场景的简要总结,希望对你的研究有所帮助。
离散数学必备知识点总结汇总

离散数学必备知识点总结汇总
1.集合论:集合的概念、元素、子集、交集、并集、差集、补集、空集、集合的运算、集合的等价关系、集合的序关系等。
2.命题逻辑:命题的概念、命题的联接词(与、或、非)、命题的否
定形式、命题的蕴涵、等价命题、命题的充分条件和必要条件、命题的合
取范式和析取范式、蕴涵式、逻辑等价式、命题的否定形式的推理。
3.谓词逻辑:谓词的概念、谓词的量化、全称量化和存在量化、谓词
逻辑的等价式和推理规则、归纳定理和应用。
4.关系:关系的概念、关系的性质、关系的运算、关系的性质和关系
的代数结构。
5.图论:图的概念、图的表示、连通图、树、度数和定理、欧拉图、
哈密顿图、图的平面性质等。
6.混合图:有向图、无向图、有向图和无向图的表示、混合图的回路、可达矩阵、连通度、强连通图等。
7.布尔代数:布尔运算、布尔函数、布尔代数的运算规则、完备性和
最小化。
8.代数结构:半群、群、环、域的定义和性质、同态和同构。
9.组合数学:排列组合、二项式系数、排列、组合、分配原理、鸽巢
原理、生成函数、容斥原理等。
10.图的着色:图的着色问题、邻接矩阵、边界点、图的着色问题的
算法、四色定理等。
11.概率论:基本概念、概率的性质、条件概率、独立事件、贝叶斯定理、随机变量、概率分布函数、期望、方差、协方差、相关系数、大数定理和中心极限定理等。
12.递归:递归关系、递归函数、递归算法、递归树、递归求解等。
根据离散数学知识点总结

根据离散数学知识点总结离散数学是数学的一个分支,主要研究离散的结构和对象。
它在计算机科学、信息科学和电子工程等领域中扮演着重要的角色。
本文将根据离散数学的知识点进行总结。
一、集合论集合论是离散数学的基础,主要研究集合之间的关系和运算。
其中常用的概念有:- 并集:将两个或多个集合中的元素合并在一起,形成一个包含所有元素的新集合。
- 交集:取两个或多个集合中共有的元素,形成一个新集合。
- 补集:对于给定集合S,补集是指包含所有不属于S的元素的集合。
- 子集:如果一个集合的所有元素都属于另一个集合,那么这个集合是另一个集合的子集。
- 幂集:对于给定集合S,幂集是指包含S的所有子集的集合。
二、逻辑逻辑是研究推理和证明方法的学科。
在离散数学中,逻辑起到了重要的作用。
常见的逻辑概念包括:- 命题逻辑:研究命题之间的关系和运算,例如“与”、“或”、“非”等。
- 谓词逻辑:研究命题中的变量和量词,能够表达更复杂的命题关系。
- 推理规则:用于从已知命题推导出新命题的规则,例如包括假言推理、析取规则等。
三、图论图论是研究图及其性质的学科。
在离散数学中,图论常常用于描述和分析各种关系和网络。
图论的基本概念包括:- 图:由节点和边构成的结构,用于描述事物之间的联系和关系。
- 顶点和边:图中的基本元素,顶点表示节点,边表示节点之间的关系。
- 路径和环:路径是指经过一系列节点和边连接起来的序列,环是指起点和终点相同的路径。
- 连通性:描述图中节点之间连接的特性,如连通图、强连通图等。
四、组合数学组合数学是研究离散结构的组合和排列的学科。
它在离散数学中有广泛的应用。
常见的组合数学概念包括:- 排列:将一组对象按照一定的顺序排列。
- 组合:从一组对象中选择若干对象,不考虑顺序。
- 布尔代数:用于描述逻辑运算和布尔函数的代数系统。
- 生成函数:用多项式表示数列,方便研究其性质和计算。
以上是根据离散数学的知识点进行的简要总结。
离散数学在计算机科学和信息科学中有重要的应用,对于学习和理解这些知识点能够提升对离散结构的认识和应用能力。
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
离散数学知识点总结 一、各章复习要求与重点第一章 集 合[复习知识点]1、集合、元素、集合的表示方法、子集、空集、全集、集合的包含、相等、幂集2、集合的交、并、差、补等运算及其运算律(交换律、结合律、分配律、吸收律、 De Morgan 律等),文氏(V enn )图3、序偶与迪卡尔积本章重点内容:集合的概念、集合的运算性质、集合恒等式的证明 [复习要求]1、理解集合、元素、子集、空集、全集、集合的包含、相等、幂集等基本概念。
2、掌握集合的表示法和集合的交、并、差、补等基本运算。
3、掌握集合运算基本规律,证明集合等式的方法。
4、了解序偶与迪卡尔积的概念,掌握迪卡尔积的运算。
[本章重点习题]P5~6,4、6; P14~15,3、6、7; P20,5、7。
[疑难解析] 1、集合的概念因为集合的概念学生在中学阶段已经学过,这里只多了一个幂集概念,重点对幂集加以掌握,一是掌握幂集的构成,一是掌握幂集元数为2n 。
2、集合恒等式的证明通过对集合恒等式证明的练习,既可以加深对集合性质的理解与掌握;又可以为第三章命题逻辑中公式的基本等价式的应用打下良好的基础。
实际上,本章做题是一种基本功训练,尤其要求学生重视吸收律和重要等价式在B A B A ~⋂=-证明中的特殊作用。
[例题分析]例1 设A ,B 是两个集合,A={1,2,3},B={1,2},则=-)()(B A ρρ 。
解}}3,2,1{},3,2{},3,1{},2,1{},3{},2{},1{,{)(φρ=A}}2,1{},2{},1{,{)(φρ=B于是}}3,2,1{},3,2{},3,1{},3{{)()(=-B A ρρ例2 设{}{}Φ=,,,,b a b a A ,试求:(1){}b a A ,-; (2)Φ-A ; (3){}Φ-A ; (4){}{}A b a -,; (5)A -Φ; (6){}A -Φ。
解 (1){}{}{}Φ=-,,,b a b a A (2)A A =Φ- (3){}{}{}b a b a A ,,,=Φ- (4){}{}Φ=-A b a , (5)Φ=-ΦA (6){}Φ=-ΦA 例3 试证明()()()()B A B A B A B A ~~~~⋂⋃⋂=⋃⋂⋃ 证明()()()()()()()()()()()()()()()()()()B A B A B A B A B B B A A B A A B B A A B A B A B A ~~~~~~~~~~~~~⋂⋃⋂=Φ⋃⋂⋃⋂⋃Φ=⋂⋃⋂⋃⋂⋃⋂=⋂⋃⋃⋂⋃=⋃⋂⋃第二章 二元关系[复习知识点]1、关系、关系矩阵与关系图2、复合关系与逆关系3、关系的性质(自反性、对称性、反对称性、传递性)4、关系的闭包(自反闭包、对称闭包、传递闭包)5、等价关系与等价类6、偏序关系与哈斯图(Hasse )、极大/小元、最大/小元、上/下界、最小上界、最大下界7、函数及其性质(单射、满射、双射)8、复合函数与反函数本章重点内容:二元关系的概念、关系的性质、关系的闭包、等价关系、半序关系、映射的概念 [复习要求]1、理解关系的概念:二元关系、空关系、全关系、恒等关系;掌握关系的集合表示、关系矩阵和关系图、关系的运算。
2、掌握求复合关系与逆关系的方法。
3、理解关系的性质(自反性、对称性、反对称性、传递性),掌握其判别方法(定义、矩阵、图)。
4、掌握求关系的闭包 (自反闭包、对称闭包、传递闭包)的方法。
5、理解等价关系和偏序关系的概念,掌握等价类的求法和偏序关系做哈斯图的方法,极大/小元、最大/小元、上/下界、最小上界、最大下界的求法。
6、理解函数概念:函数、函数相等、复合函数和反函数。
7、理解单射、满射、双射等概念,掌握其判别方法。
[本章重点习题]P25,1;P32~33,4,8,10; P43,2,3,5; P51~52,5,6; P59,1,2; P64,3; P74~75,2,4,6,7; P81,5,7; P86,1,2。
[疑难解析] 1、关系的概念关系的概念是第二章全章的基础,又是第一章集合概念的应用。
因此,学生应该真正理解并熟练掌握二元关系的概念及关系矩阵、关系图表示。
2、关系的性质及其判定关系的性质既是对关系概念的加深理解与掌握,又是关系的闭包、等价关系、半序关系的基础。
对于四种性质的判定,可以依据教材中P49上总结的规律。
这其中对传递性的判定,难度稍大一点,这里要提及两点:一是不破坏传递性定义,可认为具有传递性。
如空关系具有传递性,同时空关系具有对称性与反对称性,但是不具有自反性。
另一点是介绍一种判定传递性的“跟踪法”,即若()()()R a a R a a R a a i i ∈∈∈-,,,,,,13221 ,则()R a a i ∈,1。
如若()()R a b R b a ∈∈,,,,则有()R a a ∈,,且()R b b ∈,。
3、关系的闭包在理解掌握关系闭包概念的基础上,主要掌握闭包的求法。
关键是熟记三个定理的结论:定理2,()A I R R r ⋃=;定理3, ()1-⋃=R R R s ;定理4,推论 () ni i R R t 1==。
4、半序关系及半序集中特殊元素的确定理解与掌握半序关系与半序集概念的关键是哈斯图。
哈斯图画法掌握了,对于确定任一子集的最大(小)元,极大(小)元也就容易了。
这里要注意,最大(小)元与极大(小)元只能在子集内确定,而上界与下界可在子集之外的全集中确定,最小上界为所有上界中最小者,最小上界再小也不小于子集中的任一元素,可以与某一元素相等,最大下界也同样。
5、映射的概念与映射种类的判定映射的种类主要指单射、满射、双射与非单非满射。
判定的方法除定义外,可借助于关系图,而实数集的子集上的映射也可以利用直角坐标系表示进行,尤其是对各种初等函数。
[例题分析]例1 设集合{}d c b a A ,,,=,判定下列关系,哪些是自反的,对称的,反对称的和传递的:()(){}()()(){}(){}()()(){}()(){}d b c a R c c b b a a R d c R a d c b a a R a b a a R ,,,,,,,,,,,,,,,,,,54321=====解:均不是自反的;R 4是对称的;R 1 ,R 2 ,R 3 , R 4 ,R 5是反对称的;R 1 ,R 2 ,R 3 , R 4 ,R 5是传递的。
例2 设集合{}5,4,3,2,1=A ,A 上的二元关系R 为 ()()()()()()()(){}5,5,4,5,3,5,4,4,4,3,3,3,2,2,1,1=R (1)写出R 的关系矩阵,画出R 的关系图; (2)证明R 是A 上的半序关系,画出其哈斯图;(3)若A B ⊆,且{}5,4,3,2=B ,求B 的最大元,最小元,极大元,极小元,最小上界和最大下界。
解 (1)R 的关系矩阵为⎪⎪⎪⎪⎪⎪⎭⎫⎝⎛=1110001000011000001000001R M R 的关系图略(2)因为R 是自反的,反对称的和传递的,所以R 是A 上的半序关系。
(A,R)为半序集, (A,R)的哈斯图如下(3) 当{}5,4,3,2=B ,B 的极大元为2,4;极小元为2,5;B 无最大元与最小元;B 也无上界与下界,更无最小上界与最大下界。
第三章 命题逻辑[复习知识点]1、命题与联结词(否定、析取、合取、蕴涵、等价),复合命题2、命题公式与解释,真值表,公式分类(恒真、恒假、可满足),公式的等价 3、析取范式、合取范式,极小(大)项,主析取范式、主合取范式。
4 。
1。
3 。
2。
54、公式类别的判别方法(真值表法、等值演算法、主析取/合取范式法) 5、公式的蕴涵与逻辑结果 6、形式演绎本章重点内容:命题与联结词、公式与解释、析取范式与合取范式、公式恒真性的判定、形式演绎 [复习要求]1、理解命题的概念;了解命题联结词的概念;理解用联结词产生复合命题的方法。
2、理解公式与解释的概念;掌握求给定公式真值表的方法,用基本等价式化简其他公式,公式在解释下的真值。
3、了解析取(合取)范式的概念;理解极大(小)项的概念和主析取(合取)范式的概念;掌握用基本等价式或真值表将公式化为主析取(合取)范式的方法。
4、掌握利用真值表、等值演算法和主析取/合取范式的唯一性判别公式类型和公式等价的方法。
5、理解公式蕴涵与逻辑结果的概念,掌握基本蕴涵式。
6、掌握形式演绎的证明方法。
[本章重点习题]P93,1; P98,2,3; P104,2,3; P107,1,3; P112,5; P115,1,2,3。
[疑难解析]1、公式恒真性的判定判定公式的恒真性,包括判定公式是恒真的或是恒假的。
具体方法有两种,一是真值表法,对于任给一个公式,主要列出该公式的真值表,观察真值表的最后一列是否全为1(或全为0),就可以判定该公式是否恒真(或恒假),若不全为0,则为可满足的。
二是推导法,即利用基本等价式推导出结果为1,或者利用恒真(恒假)判定定理:公式G 是恒真的(恒假的)当且仅当等价于它的合取范式(析取范式)中,每个子句(短语)均至少包含一个原子及其否定。
这里要求的析取范式中所含有的每个短语不是极小项,一定要与求主析取范式相区别,对于合取范式也同样。
2、范式求范式,包括求析取范式、合取范式、主析取范式和主合取范式。
关键有两点:一是准确理解掌握定义;另一是巧妙使用基本等价式中的分配律、同一律和互补律,结果的前一步适当使用等幂律,使相同的短语(或子句)只保留一个。
另外,由已经得到的主析取(合取)范式,根据()G G G G =⌝⌝=⌝∨,1原理,参阅《离散数学学习指导书》P71例15,可以求得主合取(析取)范式。
3、形式演绎法掌握形式演绎进行逻辑推理时,一是要理解并掌握14个基本蕴涵式,二是会使用三个规则:规则P 、规则Q 和规则D ,需要进行一定的练习。
[例题分析]例1 求()()P R Q P G →⌝∨∧=的主析取范式与主合取范式。
解 (1)求主析取范式, 方法1:利用真值表求解因此()()()()()()R Q P R Q P R Q P R Q P R Q P R Q P G ∧∧∨⌝∧∧∨∧⌝∧∨⌝∧⌝∧∨∧∧⌝∨∧⌝∧⌝= 方法2:推导法()()()()()()()()()()()()()()()()()()()()()()()()()()()()()()()R Q P R Q P R Q P R Q P R Q P R Q P R Q P R Q P R Q P R Q P R Q P R Q P R Q P R Q P R R Q Q P P P R Q Q Q R P P R Q R P P R Q P PR Q P P R R Q P G ⌝∧⌝∧∨⌝∧∧∨∧∧∨∧⌝∧∨∧⌝∧⌝∨∧∧⌝=⌝∧⌝∧∨∧⌝∧∨⌝∧∧∨∧∧∨∧⌝∧⌝∨∧⌝∧∨∧⌝∧⌝∨∧∧⌝=⌝∨∧⌝∨∧∨⌝∨∧∧⌝∨∨⌝∧∧⌝=∨∧⌝∨∧⌝=∨∧⌝∨⌝=∨⌝∨∧⌝=→⌝∨∧=(2)求主合取范式 方法1:利用上面的真值表()()P R Q P →⌝∨∧为0的有两行,它们对应的极大项分别为R Q P R Q P ∨⌝∨∨∨,因此,()()()()R Q P R Q P P R Q P ∨⌝∨∧∨∨=→⌝∨∧ 方法2:利用已求出的主析取范式求主合取范式已用去6个极小项,尚有2个极小项,即 R Q P ⌝∧⌝∧⌝与R Q P ⌝∧∧⌝ 于是()()()()()()()()R Q P R Q P R Q P R Q P G G R Q P R Q P G ∨⌝∨∧∨∨=⌝∧∧⌝∨⌝∧⌝∧⌝⌝=⌝⌝=⌝∧∧⌝∨⌝∧⌝∧⌝=⌝ 例2 试证明公式()()()()R P R Q Q P G →→→∧→=为恒真公式。