一阶逻辑等值演算与推理优秀培训书.pptVIP

第五章 一阶逻辑等值演算与推理 前一节课的复习 一阶逻辑命题符号化 （1）三要素之一：个体词 （2）三要素之二：谓词 (N元谓词符号化) 分析命题中表示性质和关系的谓词，分别符号化为一元和n元谓词； （3）三要素之三：量词 A) 根据命题的实际意义选用全称量词或存在量词； B) 注意量词的先后顺序。 （4） 全总个体域的约定 （5） 特性谓词的使用 （6） 联结词的使用 （7）命题的符号化形式不是唯一的 引言 一阶逻辑等值演算 一阶逻辑推理 5.1. 一阶逻辑等值式 与置换规则 定义5.1（一阶逻辑等值式的概念） 设A，B是一阶逻辑中任意两个公式，若A ? B是永真式，则称A与B是等值的。记做A B，称A B是等值式。 基本等值式 来自于代换实例 来自于量词处理 第一组基本等值式 由于命题逻辑中的重言式的代换实例都是一阶逻辑中的永真式，因而第二章的16组等值式给出的代换实例都是一阶逻辑的等值式的模式。 命题逻辑中16组（24个）重要的等值式。 第二组基本等值式:消去量词等值式 第二组基本等值式:量词否定等值式 对于(1)式，“并不是所有的x都有性质A”与“存在x没有性质A”是一回事。对于(2)式