总结 离散数学知识点第2章 命题逻辑1. ，前键为真，后键为假才为假；，相同为真，不同为假；2. 主析取范式：极小项(m)之和；主合取范式：极大项(M)之积；3. 求极小项时，命题变元的肯定为1，否定为0，求极大项时相反；4. 求极大极小项时，每个变元或变元的否定只能出现一次，求极小项时变元不够合取真，求极大项时变元不够析取假；5. 求范式时，为保证编码不错，命题变元最好按P,Q,R的顺序依次写；6. 真值表中值为1的项为极小项，值为0的项为极大项；7. n个变元共有个极小项或极大项，这为(0-1)刚好为化简完后的主析取加主合取；8. 永真式没有主合取范式，永假式没有主析取范式；9. 推证蕴含式的方法(=)：真值表法；分析法(假定前键为真推出后键为真，假定前键为假推出后键也为假)10.命题逻辑的推理演算方法：P规则，T规则 真值表法；直接证法；归谬法；附加前提法；第3章 谓词逻辑1. 一元谓词：谓词只有一个个体，一元谓词描述命题的性质； 多元谓词：谓词有n个个体，多元谓词描述个体之间的关
