目录
一、利用真值表求主析取范式、主合取范式
用真值表求出公式的成真赋值和成假赋值，主析取范式：成真赋值用m一一析取组合；主合取范式：成假赋值用M一一合取组合
1.例题
二、推理证明
1.推理规则
2.例题
三、符号化命题
注意：∃后跟∧；∀后跟→
四、有穷集的计数
1.包含互斥原理
2.例题
1.文氏图法
2.包含互斥原理法
五、关系的闭包
1.三种闭包
如果R = {1,2,3}，那么R的恒等关系 = {<1,1><2,2><3,3>}
如果R = {<2,3><4,1><6,7>}，那么R^-1 = {<3,2><1,4><7,6>}
2.Warshall算法
设M(R的关系矩阵)
当i=1时，看第1列为1的元素所在的行，将第一行加到这些行。
当i=2时，看第2列为1的元素所在的行，将第二行加到这些行。
当i=3时，看第3列为1的元素所在的行，将第三行加到这些行。
当i=4时，看第4列为1的元素所在的行，将第四行加到这些行。
上述加为逻辑加，如下，可以用真(1)假(0)析取来理解：
0+0=0， 0∨0=0
0+1=1， 0∨1=1
1+0=1， 1∨0=1
1+1=1， 1∨1=1
3.例题
六、等价关系与划分
1.等价关系定义
也就是说，R在A上满足自反性、对称性、传递性。
2.划分定义
3.例题
七、最小生成树的应用题
最小生成树画法：每次取权值最小的边，并且不构成回路，直到画出所有顶点。
八、极大项与极小项
九、一阶逻辑公式及其解释
以(1)(2)(3)(5)(7)(8)为例
十、笛卡尔积
十一、图的相关概念
1.顶点数称作图的阶，n个顶点的图称为n阶图。
2.一条边也没有的图称为零图，n 阶零图记作 Nn。一阶零图 N1 称为平凡图，平凡图只有一个
顶点，没有边。
3.若两个顶点之间有一条有向边，则称这两个顶点相邻。若两条边中一条边的终点是另一条边的始点，则称这两条边相邻。
4.在无向图中，关联一对顶点的无向边如果多于1条，则称这些边为平行边，平行边的条数称为重数。在有向图中，关联一对顶点的有向边如果多于1条，并且这些边的始点与终点相同(也就是它们的的方向相同)，称这些边为平行边。含平行边的图称为多重图，既不含平行边也不包含自环的图称为简单图。
5.称度数为1的顶点为悬挂顶点，与它关联的边称为悬挂边。度为偶数(奇数)的顶点称为偶度(奇度)顶点。
6.n阶无向完全图、n阶有向完全图的边数为n(n-1)/2、n(n-1)。
十二、握手定理
8.设无向图中有6条边，3度与5度顶点各一个，其余都是2度顶点，问：该图有几个顶点？
十三、欧拉图与半欧拉图
十四、哈密顿图与半哈密顿图
十五、关系的运算
十六、量词辖域收缩与扩展
十七、关系的特点
十八、幂集
定义：原集合中所有的子集（包括全集和空集）构成的集族。
若原集合中有n个元素，则幂集的元素个数为2^n。
顺带一提，若原集合中有n个元素，那么在原集合上的二元关系有2^n^2。
参考书目
屈婉玲,耿素云,张立昂. 离散数学(第2版). 高等教育出版社. 2015
1万+
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
