第五章一阶逻辑等值演算与推理06.docVIP

第5 章 一阶逻辑等值演算与推理 ?5.1 一阶逻辑等值式与置换规则 ?定义5.1 设A，B是一阶逻辑中任意两个公式，若AB是永真式，则称A与B是等值的。记做AB，称AB是等值式。 谓词逻辑中关于联结词的等值式与命题逻辑中相关等值式类似。下面主要讨论关于量词的等值式。 一、基本等值式 ???第一组 代换实例 ?? ?由于命题逻辑中的重言式的代换实例都是一阶逻辑中的永真式，因而第二章的16组等值式给出的代换实例都是一阶逻辑的等值式的模式。 例如： ??xF(x) ┐┐xF(x) 与???? ?xy(F(x,y)→G(x,y)) ┐┐xy(F(x,y)→G(x,y)) 都是(2.1)式（即：双重否定律）的代换实例。 又如： ??????? ?F(x)→G(y) ┐F(x)∨G(y) 与 x(F(x)→G(y))→zH(z) ┐x(F(x)→G(y))∨zH(z)) 等都是(2.12)式（即：蕴涵等值式）的代换实例。 ????第二组 消去量词等值式 ???设个体域为有限域D={a1,a2,…,an}，则有 ????(1) xA(x) A(a1)∧A(a2)∧…∧A(an)? ?(2) xA(x) A(a1)∨A(a2)∨…∨A(an)???? (5.1) ???第三组 量词否定