课件离散数学大工-第一章 命题逻辑-4th.pdfVIP

离散数学 第一章 命题逻辑 回顾 •对偶原理 –定义， –三条原理：非运算与对偶，等价，永真蕴含 •析取范式和合取范式 –基本积，基本和 –基本和的积，基本积的和 •主析取范式和主合取范式 –极小项（积），极大项（和），基—二进制数—十进 制数—描述符 –极小项的和，极大项的积，两者的关系。 2 回顾 求范式步骤： (1) 消去联结词, (2) 否定消去或内移。 (3) 利用分配律。 3 1.7命题演算的推理理论 数理逻辑的一个主要任务就是提供一套推理规则， 给定一些前提，利用所提供的推理规则，推导 出一些结论来，这个过程称为演绎或