离散数学知识点总结.pdf

。 总结 离散数学知识点 第二章 命题逻辑 1. →，前键为真，后键为假才为假； <—>，相同为真，不同为假； 2. 主析取范式：极小项 (m)之和；主合取范式：极大项 (M) 之积； 3. 求极小项时，命题变元的肯定为 1，否定为 0，求极大项时相反； 4. 求极大极小项时， 每个变元或变元的否定只能出现一次， 求极小项 时变元不够合取真，求极大项时变元不够析取假； 5. 求范式时，为保证编码不错，命题变元最好按 P,Q,R 的顺序依次写； 6. 真值表中值为 1 的项为极小项，值为 0 的项为极大项； 7.n 个变元共有 2n 个极小项或极大项，这 2n 为(0~ 2n -1) 刚好为化简完 后的主析取加主合取； 8. 永真式没有主合取范式，永假式没有主析取范式； 9. 推证蕴含式的方法 (=>) ：真值表法；分析法 ( 假定前键为真推出后 键为真，假定前键为假推出后键也为假 ) 10. 命题逻辑的推理演算方法： P 规则， T 规则 ①真值表法；②直接证法；③归谬法；④附加前提法； 第三章 谓词逻辑 1. 一元谓词：谓词只有一个个体，一元谓词描述命题的性质； 多元谓词：谓词有 n 个个体，多元谓词描述个体之间的关系； 2. 全称量词用蕴含 →，存在量词用合取 ^; - 可编辑修改 - 。 3. 既有存在又有全称量词时，先消存在量词，再消全称量词； 第四章 集合 1.N，表示自然数集， 1,2,3 ……，不包括 0； 2. 基：集合 A 中不同元素的个数， |A| ； 3. 幂集：给定集合 A，以集合 A 的所有子集为元素组成的集合， P(A) ； 4. 若集合 A 有 n 个元素，幂集 P(A) 有 2n 个元素， |P(A)|= 2|A | =2n ； 5. 集合的分划： ( 等价关系 ) ①每一个分划都是由集合 A 的几个子集构成的集合； ②这几个子集相交为空，相并为全 (A) ； 6. 集合的分划与覆盖的比较： 分划：每个元素均应出现且仅出现一次在子集中； 覆盖：只要求每个元素都出现，没有要求只出现一次； 第五章 关系 1. 若集合 A 有 m个元素，集合 B有 n 个元素， 则笛卡尔 A×B 的基数为 mn mn，A 到 B 上可以定义 2 种不同的关系； 2 2. 若集合 A 有 n 个元素，则 |A ×A|= n2 ，A 上有 2n 个不同的关系； 3. 全关系的性质：自反性，对称性，传递性； 空关系的性质：反自反性，反对称性，传递性； - 可编辑修改 - 。 全封闭环的性质：自反性，对称性，反对称性，传递性； 4. 前域 (domR)：所有元素 x 组成的集合； 后域 (ranR) ：所有元素 y 组成的集合； 5. 自反闭包： r(R)=RU I x ; 对称闭包： s(R)=RUR-1 ; 2