离散数学导论（第5版）-第五篇.ppt

* ⑦ （P?Q）（Q?P）?（P?Q））； ⑧ P∧Q?Q； ⑨ P∧Q?P； ⑩ P?（Q?P∧Q）； P?P∨Q； Q?P∨Q； （Q?P）?（（R?P）?（Q∨R?P））； （P??Q）?（Q??P）； ??P?P； 11 12 13 14 15 * 2）推理规则 分离规则：P?Q，P├Q。 3）证明（过程）与定理 证明（过程）给出了公理系统中定理生成的 过程，它是一个公式序列：P1，P2，…，Pn，其中 每个Pi（i＝1，2，…，n）必须满足下条件之一。 * ① Pi是公理； ② Pi是由Pk，Pr，（k，r<i）施行分离规则而得。 最后，Pn＝Q 即为定理。 （２０）导出规则——如有A?B为定理则必有A├B。 （２１）假设推理 １ 具有特定环境下的假设作前提 ２ 推理定理——设有A1，A2，…，An├B，则 必有：A 1, A2, …An-1├An ?B。 * ３ 假设推理的证明过程必须满足： ① Ｐi是假设前提； ② Ｐi是公理； ③ Ｐi是由Ｐk，Pr用分离规则而得 最后。Pn=B，而Ａ１→（Ａ２→（…（Ａn →B）） …）为定理。 * （２２）额外假设推理——反证法 １ 以结论为假设作前提 ２ 反证推理定理： 设有A1，A2，…，An，B├P∧?P，则必有： ├A1→(A2→(…(An→B））…） 3 反证推理证明过程必须满足 1)Pi是公理； 2)Pi是假设； 3)Pi是待证定理B的否定，即为?P； 4)Pi是由Pk，Pr用分离规则而得。 最后Pn=P∧?P，而此时：A1→(A2→(…(An→B））…）为定理。 * （23）谓词逻辑永真公理系统 1．系统组成部分 2．推理部分 1）公理 设P，Q，R为公式，则有公理如下： * ① p?p． ② （P?（Q?R））?（Q?（P?R））． ③ （P?Q）?（（Q?R）?（P?R））． ④ （P?（P?Q））?（P?Q）． ⑤ （P?Q）?（P?Q）． ⑥ （P?Q）?（Q?P）． ⑦ （P?Q）?（（Q?P）?（P?Q））． ⑧ P∧Q?Q． * ⑨ P∧Q?P． ⑩ P?（Q?P∧Q）． P?P∨Q． Q?P∨Q． （Q?P）?（（R?P）?（Q∨R?P））． （P??Q）?（Q??P）． ??P?P． ?xP（x）?P（x）． P（x）??xP（x）。 11 12 13 14 15 16 17 * 2）推理规则 ① 分离规则：P?Q，P├Q. ② 全称规规：Q?P（x）├Q??xP（x）． ③ 存在规则：P（x）?Q├?x P（x）?Q． 上面17个公理与3个规则中有15个公理与1个规则是命题逻辑公理系统的，真正属谓词逻辑的仅有2个公理与2个规则。 * 3）证明（过程）与定理。 证明（过程）是一个公式序列：P1，P2，…，Pn，其中每个Pi（i＝1，2，…，n）必须满足下条件之一： ① Pi是公理； ② Pi是由Pk，Pr，（k，r<i）施行分离规则而得； ③ Pi是由Pk（k<i）施行全称规则而得； ④ Pi是由Pk（k<i）施行存在规则而得。 最后，Pn＝Q 即为定理。 * (24)谓词逻辑的假设推理与反证推理。 ?谓词逻辑的推理定理——与命题逻辑一致。 ?谓词逻辑的假设推理——与命题逻辑一致。 ?谓词逻辑的反证推理——与命题逻辑一致。 * §12.3 数理逻辑应用公理系统 (25）数理逻辑公理化应用系统的定义： 1 公理 ? 永真公理 ? 学科领域的公理 2 推理规则 ? 永真公理系统推理规则 3 证明过程 1)Pi是永真公理； 2)Pi是学科领域公理； 3)Pi用分离规则而得； 4)Pi用全称或存在规则而得。 最后Pn=Q即为定理。 * §12.4 谓词逻辑的自动定理证明 （26）子句与Horn子句 （27）消解原理 ① 将一公式化为Horn子句集 ② 采用消解原理，即由S为公理证明E为定理的过程可改写： ? 作S?＝SU{E}为公理； ? 从?E开始在S?中不断使用反驳法； ? 最后出现空子句口则结束； ③ 如