离散数学期末总结

数理逻辑

1.1命题与联结词

1、命题：判断结果唯一的陈述句

（1）命题的真值：判断的结果

（2）悖论：是陈述句，但不是命题

2、命题符号化：简单命题与复杂命题，p、q

3、联结词：

（1）否定联结词

（2）合取联结词^（可理解为交）

注：与、和、并且、不但……而且……

（3）析取联结词v（可理解为并）

注：排斥或与相容或

（4）蕴含联结词

注1：前真后假，则假

注2：p->q：p是q的充分条件

注3：只有q才p，只要p就q，除非q才p，除非q否则非p

（5）等价联结词<->

1.2命题公式及其赋值

1、命题公式的层次：

（1）单个命题变项：0层

（2）非B：b+1层

（3）B^C max（b，c）=n，A是n+1层

2、赋值与真值表：从0000……开始，到1111……

3、重言式、矛盾式、可满足式

2.1等值式

1、真值表法检验等值：

从底层公式（命题公式的层次）的真值开始列举，直到最后的公式

2、基本等值式：

（1）双重否定

（2）幂等

（3）交换

（4）结合

（5）分配

（6）德摩根（否定内移）

（7）吸收

（8）零率、同一律、排中律、矛盾律

（9）蕴含、假言易位

（10）等价、等价否定

（11）归谬

3、对偶式：析取合取互换、01互换

4、等值演算与置换规则：可以用来证明两个公式等值

注1：不能直接证明两个公式不等值

注2：证明两个公式不等值，用真值表法、观察法、或者先等值演算化简再用这两种方法

2.2析取范式和合取范式

1、范式：

（1）析取范式：简单合取式析取组成

注：全假则假

（2）合取范式：简单析取式合取组成

注：全真则真

2、求范式：等值演算

3、极小项^与极大项v：

可以这么理解：公式全取非，相当于全是0，极小，小写m

              公式全取真，相当于全是1，极大，大写M

注1：极小项只在成真赋值时为真，极大项只在成假赋值时为假

注2：因此全体极小项析取永真，全体极大项合取永假

4、主析取范式和主合取范式

5、联结词完备集：非+…… 或者 向上向下的箭头

6、消解法与可满足性问题：最后消没了（否证）就不可满足

3.1推理的形式结构

4.1一阶逻辑命题符号化

4.2一阶逻辑公式及解释

5.1一阶逻辑等值式与置换规则

集合论

6.1集合的基本概念

1、基数（势）：|S|

2、幂集：所有子集的集合

6.2集合的运算

1、集合基本运算

注：对称差

2、广义运算

3、运算优先级

6.3有穷集合元素的计数

6.4集合恒等式

7.1有序对与笛卡尔积

1、有序对

2、笛卡尔积：AxB（<x,y>：x在A,y在B）

7.2二元关系

1、最大的二元关系：AxB（所有二元关系都是AxB上定义的）

注：若A=B，则称为A上的二元关系

2、A上重要关系：空关系、全域关系EA、恒等关系IA、小于等于关系LA、整除关系DB、包含关系

3、关系的表示：

（1）集合表达式

（2）关系矩阵

（3）关系图

4、关系的集合运算

7.3关系的运算

1、定义域、值域、域

2、逆运算

3、合成运算：

4、限制与像：

（1）限制：<x,y>x只限制在A中取

（2）像：x在A中时，y的取值

5、关系运算的性质

（1）逆：（F^(-1))^(-1)=F，domF^-1=ranF，ranF^-1=domF

（2）合成运算：可结合，逆运算要交换顺序，与IA合成结果不变，对于交、并运算满足分配律

（3）限制与像：对于交、并运算满足分配律

6、关系的幂运算：合成n-1次

注1：幂的求法：用关系矩阵的乘法

注2：会出现循环，周期一定

注3：幂加法和幂乘法和乘法幂运算一样

7.4关系的性质

（1）自反

注：IA属于关系

（2）对称

注1：反对称可以自反

注2：对称：关系图中全是平行边

注3：关系矩阵关于对角线对称，R=R^-1

（3）传递

注：关系图中若有a到b的长度大于1的边，则必有a到b的长度等于1的边

7.5关系的闭包

1、自反闭包r：RUR0

2、对称闭包s：RUR-1

3、传递闭包t：RUR2UR3U……

4、闭包的性质：

（1）R是自反的当且仅当r（R）=R

（2）R是对称的当且仅当s（R）=R

（3）R是传递的当且仅当t（R）=R

（4）若R是自反的，则s（R）和t（R）也是自反的

（5）若R是对称的，则r（R）和t（R）也是对称的

（6）若R是传递的，则r（R）是传递的

7.6等价关系与划分

1、等价关系：自反、对称且传递

2、等价类：在R的条件下等价的一类 [x]R

3、等价类的性质：（考虑mod3除法的例子）

（1）若xRy，则[x]=[y]

（2）若x不Ry，则[x]与[y]不交

（3）所有等价类的并是A（等价关系的定义集合)

4、商集：A/R 以R的所有等价类作为元素的集合

5、覆盖与划分：

（1）覆盖：所有的并是A，且无空集，则为覆盖

（2）划分：覆盖，且中间无交集

6、等价关系与划分：一一对应

7.7偏序关系

1、偏序关系：自反、反对称、传递（小于或等于）

2、偏序集与哈斯图

3、最大（小）元与极大（小）元

注：最大（小）元不一定存在，极大（小）元一定存在，可能不唯一

4、上界与下界

5、上确界（最小上界）与下确界（最大下界）

注：上下界，上下确界不一定在B里

8.1函数的定义与性质

1、函数定义

2、从A到B的函数：B^A

注：设|A|=m，|B|=n，A中每一个元素都有n个B中元素可对应，所以一共有n^m种函数

3、像和完全原像：已知x推y和已知y推x

4、满射、单射和双射：（A->B）

（1）满射：ranf=B

（2）单射：每一个y只有一个x

（3）双射：满射+单射

5、某些重要函数

8.2函数的复合和反函数

1、函数的复合：FoG(x)=G(F(x))

注1：满足结合律

注2：若f：A->B，g：B->C，则fog：A->C

注3：f、g为单（满、双）射的，fog也是（逆命题不成立）

2、反函数

8.3双射函数与集合的基数

1、集合的等势：存在从A到B的双射函数

注1：（应该是约等号，打不出来）N=Q=NxN=Z，(0,1)=R=[0,1]=[a,b]，P(A)={0,1}^A

注2：等势具有传递性

注3：康托定理：N不等势于R，对于任意集合A都有A不等势于P(A)

2、集合的优势：存在从A到B的单射函数

3、自然数的集合定义：后继

4、有穷集合和无穷集合：与某个自然数等势与否

注：N和R都是无穷集

5、基数：cardA：与A等势的自然数

注1：cardN=阿列夫0，cardR=阿列夫

注2：若cardA<=阿列夫0，则A是可数集

代数结构

9.1二元运算及其性质

1、二元运算：唯一且封闭

2、运算表

3、单位元（左、右）唯一

4、零元（左、右）唯一

注：若|S|>1，则单位元与零元一定不一样

5、逆元（左、右）唯一

6、从运算表看运算性质：

（1）封闭性：表中元素都在A中

（2）交换性：表关于主对角线对称

（3）幂等性：主对角线上每一个元素与其所在行（列）的表头元素相同

（4）有幺元

（5）有零元

（6）结合律的判断：大表

9.2代数系统

1、代数系统

2、同类型的代数系统：运算相同（个数、元数），代数常数个数相同

3、子代数系统：运算相同（个数、元数），代数常数个数相同，原来代数系统的非空子集

注：平凡子代数（最大子代数、最小子代数），真子代数

4、积代数

5、同态映射

注：单同态、满同态、同构、自同态

10.1群的定义与性质