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 取何值，