阶逻辑等值式与置换规则.pptVIP

* * 第五章 一阶逻辑等值演算与推理 第1节 一阶逻辑等值式与置换规则 第2节 一阶逻辑的前束范式 第3节 一阶逻辑推理理论 第1节 一阶逻辑等值式与置换规则 一、基本等值式 二、基本规则 三、等值演算 谓词逻辑中关于联结词的等值式与命题逻辑中 相关等值式类似.下面主要讨论关于量词的等值式. 定义5.1 设 A，B 是一阶逻辑中任意两个公式， 若A?B是永真式，则称 A 与 B 是等值的. 记做 A B，称 A B 是等值式. 一、基本等值式 第一组 代换实例 由于命题逻辑中的重言式的代换实例都是一阶逻辑中的永真式，因而第二章的16组等值式给出的代换实例都是一阶逻辑的等值式的模式. 例如： 等都是 的代换实例. 又如： 等都是 的代换实例. ?第二组 消去量词等值式 (1) (2) ???设个体域为有限域 ， 则有 (5.1) 第三组 量词否定等值式 (1) (2) ???设 是任意的含有自由出现个体变项 x 的公式，则 (5.2) 第四组 量词辖域收缩与扩张等值式 (1) 设 是任意的含自由出现个体变项 x 的公式， B中不含