2020年6月22日
大一下---离散数学期末预习
摘要： 1.公式定义：十个等价公式，推理理论十个原则，等价式、量词的消去和引入 2.方法论：真值表、等式演算、自然规则推理 3.求主析取范式和主合取范式：主析取范式由多个小项的析取组成，主合取范式由多个大项的合取组成（析取m0、mi，成真赋值；合取M0Mi，成假赋值） 4.推理理论： 5.谓词逻辑：任意量词 阅读全文
posted @ 2020-06-22 16:58 小酷蛙 阅读(1848) 评论(0) 推荐(0)