离散数学知识点总结
第二章 命题逻辑
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.全称量词用蕴含→，存在量词用合取 ^;