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