。-可编辑修改 - 总结离散数学知识点第二章命题逻辑1. →，前键为真，后键为假才为假；<— >，相同为真，不同为假；2. 主析取范式：极小项 (m)之和；主合取范式：极大项(M) 之积；3. 求极小项时，命题变元的肯定为1，否定为 0，求极大项时相反；4. 求极大极小项时， 每个变元或变元的否定只能出现一次，求极小项时变元不够合取真，求极大项时变元不够析取假；5. 求范式时，为保证编码不错，命题变元最好按 P,Q,R 的顺序依次写；6. 真值表中值为 1 的项为极小项，值为0 的项为极大项；7.n 个变元共有n2 个极小项或极大项，这n2 为(0~n2 -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)有n2 个元素， |P(A)|=||2A =n2 ；5. 集合的分划： ( 等价关系 ) ①每一个分划都是由集合A的几个子集构成的集合；②这几个子集相交为空，相并为全(A) ；6. 集合的分划与覆盖的比较：分划：每个元素均应出现且仅出现一次在子集中；覆盖：只要求每个元素都出现，没有要求只出现一次；第五章关系1. 若集合 A有 m个元素，集合 B有 n 个元素，则笛卡尔 A×B 的基数为mn，A到 B上可以定义mn2种不同的关系；2. 若集合 A有 n 个元素，则 |A×A|=2n ，A 上有22n 个不同的关系；3. 全关系的性质：自反性，对称性，传递性；空关系的性质：反自反性，反对称性，传递性；。-可编辑修改 - 全封闭环的性质：自反性，对称性，反对称性，传递性；4. 前域(domR)：所有元素 x 组成的集合；后域(ranR) ：所有元素 y 组成的集合；5. 自反闭包： r(R)=RUxI ; 对称闭包： s(R)=RU1-R ...
