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

离散数学 大连理工大学软件学院 陈志奎 教授 办公室：综合楼411 ，Tel 实验室：教学楼A318/A323 ，Tel 24 Mobile: Email: zkchen@ zkchen00@ 1 38 回顾 • 勘误： – P14，两处 – P16，5(2) • 对偶原理 – 定义， – 三条原理：非运算与对偶，等价，永真蕴含 • 析取范式和合取范式 – 基本积，基本和 – 基本和的积，基本积的和 • 主析取范式和主合取范式 – 极小项（积），极大项（和），基—二进制数—十进 制数—描述符 – 极小项的和，极大项的积，两者的关系。 2 38 回顾 求范式步骤： (1) 消去联结词 →↔, (2) 否定消去或内移。 (3) 利用分配律。 3 38 1.7命题演算的推理理论 数理逻辑的一个主要任务就是提供一套推理规 则，给定一些前提，利用所提供的推理规则，推 导出一些结论来，这个过程称为演绎或证明。 • 生活中： – 倘若认定前提是真的，从前提推导出结论的论证是遵 守了逻辑推理规则，则认为此结论是真的，并且认为 这个论证过程是合法的。 • 数理逻辑中： – 不关心前提的真实真值，把注意力集中于推理规则的 研究，依据这些推理规则推导出的任何结论，称为有 效结论，而这种论证则被称为有效论证。 4 38 有效结论 定义:设A和B是两个命题公式，当且仅当 A→B是个永真式，即A⇒B，则说B是A的有 效结论，或B由A可逻辑的推出。 可把该定义推广到有n个前提的情况。 5 38 有效结论 •定义： 设H ,H , ⋅⋅⋅,H ,C 是一些命题公式，当且仅当 1 2 m H ∧H ∧⋅⋅⋅∧H ⇒C 1 2 m 则称C是前提集合{H , H ,⋅⋅⋅, H }的有效结论。 1 2 m •例： – H ：今天周一或者今天下雨。 1 – H2 ：今天不是周一。 – C：今天下雨。 6 38 证明有效结论的方法 •