谓词是一个有确切意思的命题。
合取公式非合取式。
任意逻辑谓词公式都可化为与之等价的前束范式，但前束范式不唯一。
无辖域为skolem式。
在非空集合A上的关系R，R是自反对称传递的则为等价关系。
若干不相容的集合的集合最终的等于总集合为集合划分。
一个集合的划分的等价关系等于各集合的自叉乘求并。
如果一个关系是反自反 反对称 传递的是拟序关系。
如果一个关系是自反 反对称 传递的是偏序关系。
任意两个有关系为全序关系。
常见证明方法 归纳证明、定义证明、反证法。
一个数的所有子集被称为幂集p（x）幂集x的集合。总数（基数）记为|x|=2元素个数次方。幂集为全集，
对称差A△B=A并B-A交B
量词的消去存在析取 所有合取
商集即是全集减去某个集合的等价集合的元素的集合。
握手定理：度数 = 边数*2 度数=2*（节点数-1） 度数一定为偶数
化前束范式，为被约束的同名变元注意改名，一个个拿出
利用真值表求主析取范式：列真值表，所有值为1的项合取列出，变量全为1析取
利用真值表求主合取范式：列真值表，所有值为0的项析取列出，变量全为0合取
集合论，A+B = A + B -A交B
自反关系 = 对角线全为1 反自反对角线全为0
对称关系 = i行j列的元素=第j行i列 反对称关系任意i行j列的值合取j行i列等于0；
传递关系 = kij=1 且 kju = 1 则必有 kiu = 1；
等价关系 = 自反+对称+传递。
拟序关系 = 反自反+反对称+传递。
偏序关系 = 自反 +反对称 +传递。
全序关系 = 任意两成员之间直接有关系。
自反闭包 = 原关系 并上对角线
对称闭包 = 原关系并上原关系的装置关系
传递闭包 = 原关系的1到n次方布尔运算。
生成子图 包含原有图的所有点 不包含所有边
导出子图 包含的点的边都在
一个点能到另个一点为通路 ，两点为同一点为回路。无相同边经过为简单回路，无相同点经过为基本回路
有向图去方向任意可达为联通图。不去方向单向可达为单向联通图，双向可达强联通图。
欧拉图：一次画完的回路
哈密顿图：一次画完经过所有顶点即可，边和节点都不可重复
偶图：存在两组顶点，任意边两顶点在两组顶点里。
相应长度的通路数目 在相应的矩阵阶乘去找
元素 从属关系 和集合从属关系。
单射 ：任意不同的x、y 对应的函数值不同
满射 ：所有的y都有对应。
满足单射与满射为双射
哈斯图：前序画下，后序画上。多层保留底层消去。
最大元=大于所有的元素
最小元=小于所有的元素
极大元=没有比它大的元素
极小元=没有比它小的元素
上界=大于等于最大元的所有
下界=小于等于最小元的所有元素
上确界=上界中的最小元
下确界=下界中的最大元。
不论怎么画总有交叉点为平面图
若干不相容的集合的集合最终的等于总集合为集合划分。
