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


第3章  谓词逻辑
1.一元谓词：谓词只有一个个体，一元谓词描述命题的性质；
多元谓词：谓词有 n 个个体，多元谓词描述个体之间的 ...