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

* 第五章 一阶逻辑等值演算与推理5.1 一阶逻辑等值式与置换规则 * 定义5.1（等值式） 设A，B是一阶逻辑中任意两个公式，若A?B是永真式，则称A和B是等值的，记作A?B，称A?B是等值式。 下面给出一阶逻辑中的一些基本而重要的等值式： 由于命题逻辑的重言式的代换实例都是一阶逻辑的永真式，所以命题逻辑中24个等值式模式（p.24）给出的代换实例都是一阶逻辑的等值式模式。 例如：?xF（x）?┐┐?xF（x） ?x?y（F（x，y）→G（x，y）） ?┐┐?x?y（F（x，y）→G（x，y）） 等都是A?┐┐A的代换实例。 * 下面介绍一些一阶逻辑固有的等值式，这些等值式都与量词有关。 1、消去量词等值式 设个体域为有限集D={a1，a2，…，an}，则有 （1）?xA（x）? A（a1）∧A（a2）∧…∧A（an） （2）?xA（x）? A（a1）∨A（a2）∨…∨A（an） 2、量词否定等值式 对于任意的公式A（x）： （1）┐?xA（x）??x┐A（x） （2）┐?xA（x）??x┐A（x） * 3、量词辖域收缩与扩张等值式 设A（x）是任意的含自由出现个体变项x的公式，B是不含x的公式，则