5.3藕一阶逻辑推理理论.pptVIP

* * 第五章 一阶逻辑等值演算与推理 第1节 一阶逻辑等值式与置换规则 第2节 一阶逻辑的前束范式 第3节 一阶逻辑推理理论 第3节 一阶逻辑推理理论 一、推理定律 二、推理规则 三、一阶逻辑自然推理系统 F 一、推理定律 第一组 命题逻辑推理定律的代换实例 分别为命题逻辑中化简律和附加律的代换实例. 例如： 第二组 由基本等值式生成的推理定律 上一节给出的两组等值式中的每个等值式可生成 两个推理定律. ???和 分别由双重否定律和量词否定等值式生成. 例如： 第三组 其他重要推理定律 (1) (2) (3) (4) 例如： 二、推理规则 ????1．全称量词消去规则 ( 简记为 UI 规则或 UI ) 或 两式成立的条件是： （2）在第二式中，c 为任意个体变项。 （3）用 y 或 c 去取代 中自由出现的 x 时，一定 要在x自由出现的一切地方进行取代. （1）在第一式中，取代 x 的 y 应为任意的不在 中约束出现的个体变项. ????2．全称量词引入规则 ( 简记为UG 规则或UG ) （2）取代自由出现的 y 的 x 也不能在 中约束出现. 该式成立的条件是： （1）无论 中自由出现的个体变项 y 取何值， 应该均为真. ????3．存在量词引入规则 ( 简称 EG 规则或 EG ) ????（2）取代 c 的 x 不能在 中出现过. （1）c 是特定的个体常项. 该式成立的条件是： ????4．存在量词消去规则 ( 简记为EI 规则或 EI ) （3）若A(x)中除自由出现的 x 外，还有其它自由出现 的个体变项，此规则不能使用. 该式成立的条件是： （1）c 是使 A 为真的特定的个体常项. ?（2）c 不在 中出现. 三、一阶逻辑自然推理系统 F ????3. 推理规则： 定义5.3 自然推理系统 F 定义如下： ??1. 字母表. 同一阶语言 的字母表 (见定义4.1). 2. 合式公式. 同 合式公式的定义 (见定义4.1). （1） 前提引入规则. （2） 结论引入规则. （3） 置换规则. （4） 假言推理规则. ????（5） 附加规则. ?（6） 化简规则. （7） 拒取式规则. （8） 假言三段论规则. ????（15）EG规则. ????F 中的推理过程类似命题演算自然推理系统 P. （9） 析取三段论规则. （10）构造性二难推理规则. ??（11）合取引入规则. （12）UI规则. （14）EI规则. （13）UG规则. ① 前提引入 ② ①UI规则 ③ ②EI规则 ③UG规则 ④ 例5.8 设个体域为实数集合， 为 指出在推理系统F 中，以 (真命题)为 前提，推出 (假命题) 的下述推理证明中 的错误. 解 由于 c 为特定的个体常项，所以 (即为 )为假命题. 如果按F 中推理规则进行推理， 不会从真命题推出假命题. 在以上推理证明中，第三步错了，由于 中 除有自由出现的 y ，还有自由出现的 z ，按 EI 规则 应该满足的条件(3)，此处不能用EI 规则. 用了EI 规则，导致了从真命题推出假命题的错误.