这篇文章总结的非常好,建议多看多理解。
1.范式存在定理: 对于任意命题公式,都存在与其等价的析取范式和合取范式。
2.幂集: 一个集合的所有子集构成的集合。
3.关系的表示方法: 关系矩阵,关系图。
空关系的关系矩阵为全零矩阵,全域关系的关系矩阵为全1矩阵,恒等关系为单位矩阵。
对称关系:对称矩阵,如全域关系,恒等关系,空关系。
反对称关系:非对称矩阵,关于主对角线对称的任两个元素不能同时是1。
自反关系:主对角线全1,如全域关系,恒等关系,小于等于关系,整除关系。
反自反关系:主对角线全0,如小于关系。
逆关系的关系矩阵互为转置矩阵。
闭包
在关系R中添加尽量少的元素得到新的关系R1,使R具有自反性,R1就称为自反闭包。
在关系R中添加尽量少的元素得到新的关系R1,使R具有对称性,R1就称为对称闭包。
在关系R中添加尽量少的元素得到新的关系R1,使R具有传递性,R1就称为传递闭包。