离散数学必备知识点总结.docxVIP

总结 离散数学知识点 第二章 命题逻辑 →，前键为真，后键为假才为假；—，相同为真，不同为假； 主析取范式：极小项(m)之和；主合取范式：极大项(M)之积； 求极小项时，命题变元的肯定为 1，否定为 0，求极大项时相反； 求极大极小项时，每个变元或变元的否定只能出现一次，求极小项时变元不够合取真，求极大项时变元不够析取假； 求范式时，为保证编码不错，命题变元最好按 P,Q,R 的顺序依次写； 真值表中值为 1 的项为极小项，值为 0 的项为极大项； 7.n 个变元共有2n 个极小项或极大项，这2n 为(0~ 2n -1)刚好为化简完后的主析取加主合取； 永真式没有主合取范式，永假式没有主析取范式； 推证蕴含式的方法(=)：真值表法；分析法(假定前键为真推出后键 为真，假定前键为假推出后键也为假) 命题逻辑的推理演算方法：P 规则，T 规则 ①真值表法；②直接证法；③归谬法；④附加前提法； 第三章 谓词逻辑 一元谓词：谓词只有一个个体，一元谓词描述命题的性质； 多元谓词：谓词有n 个个体，多元谓词描述个体之间的关系； 全称量词用蕴含→，存在量词用合取^; 既有存在又有全称量词时，先消存在量词，再消全称量词； 第四章 集合 1.N，表示自然数集，1,2,3……，不包括 0； 基：集合A 中不同元素的个数，|A|； 幂集：给定集合 A，以集合 A 的所有子集为元素组成的集合，P(A)；