四川大学-计算机学院--石兵-第四讲-命题逻辑v1.pptVIP

2）第二种是采用C P规则进行证明。 这种方法常用于结论是条件式的情形， 把条件式前件作为附加前提与原有前 提一起推出后件即可。 不同的证明方法有不同的效率，下面 用例子说明。 例：证明 A ?（B ?D），A ? ?C，B ?C ? D 证明一、采用直接法 序号 公式 采用规则 ⑴ A ? ?C P ⑵ C ? A TE ⑴ ⑶ A ? （B ?D） P ⑷ C ? （B ?D） TI⑵⑶ ⑸ B ? （C ?D） TE ⑷ ⑹ B P ⑺ C ?D TI ⑸⑹ 证毕。 证明二、采用CP规则证明 A ? （B ?D），A ? ?C，B ?C ? D 序号 公式 采用规则 ⑴ A ? ?C P ⑵ C P（附加） ⑶ A TI⑴⑵ ⑷ A ? （B ?D） P ⑸ B ? D TI ⑶ ⑷ ⑹ B P ⑺ D TI ⑸⑹ ⑻ C ? D CP⑵⑺ 证毕。 证明三、反证法。 这时要把结论否定后作为附加前提， 与原有前提一起推出矛盾。因为 ?( C ?D )?C ? ? D， 可以得到C和 ? D两个附加前提。 证明 A ?（B ?D），A ? ?C，B ?C ? D 序号 公式 采用规则 ⑴ A ? ? C P ⑵ C P（附加） ⑶ A TI⑴⑵ ⑷ A ? （B ?D） P ⑸ B ? D TI ⑶ ⑷ ⑹ B P ⑺ D TI ⑸⑹ ⑻ ?D P(附加) ⑼ ? 证毕。 五、消解法应用于命题逻辑推理 消解法是基于反证法的一种机械推理方法。 消解是指当子句C1和C2一起恰好含有一对 互反的句节时，消去这对互反句节后，由剩 余句节构成新子句的过程。 例如：由子句 ?P? Q 和 ?Q? R 经消解后得 到新子句 ?P? R。 消解法原理 P, P ? Q ? Q 更一般性有: P? A, ?P? Q ?A ? Q 消解法的应用过程如下： 1）把前提中每个公式以及否定后的结论通过化合 取范式的办法分解成子句集。 2）如果子句 C1和 C2恰有一对互反的句节，则由 消去这对互反句节后的 C1和 C2经析取构成新 的子句，并加入子句集。 3）如果重复2）能导出空子句 ?，则得到证明。  例：利用消解法证明 A ? （B ?D），A ? ?C，B ?C ? D 解：首先由上式得到子句集 G={?A? ?B ? D，A? ?C，B ，C，?D } 消解过程如下： * * * * * * * * * * * * * * * * * * * * * * 离散数学 DISCRETE MATHEMATICS n 重点词 -- 定义 极大项\极小项 命题公式蕴涵 重点掌握 主合取范式\主析取范式表达 命题公式蕴涵的判别 上次课重点: 本次课重点 命题逻辑的推理 第六节 命题逻辑的推理 一、定义1： 设A1，A2，?，An，B都是 WFF，如果A1 ? A2 ? ? ? An ? B， 就说B是前提A1，A2，?，An的有效结