1.公式定义：十个等价公式，推理理论十个原则，等价式、量词的消去和引入 2.方法论：真值表、等式演算、自然规则推理 3.求主析取范式和主合取范式：主析取范式由多个小项的析取组成，主合取范式由多个大项的合取组成（析取m0、mi，成真赋值；合取M0Mi，成假赋值） 4.推理理论： 5.谓词逻辑：任意量词不能和析取合作，存在量词不能和合取合作：
大一下---离散数学期末预习
原文：https://www.cnblogs.com/A-Jun/p/13177750.html
