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

第五章 一阶逻辑等值演算与推理5.1 一阶逻辑等值式与置换规则; 定义5.1（等值式） 设A，B是一阶逻辑中任意两个公式，若A?B是永真式，则称A和B是等值的，记作A?B，称A?B是等值式。; 下面介绍一些一阶逻辑固有的等值式，这些等值式都与量词有关。 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的公式，则 （1）?x（A（x）∨B）??xA（x）∨B ?x（A（x）∧B）??xA（x）∧B ?x（A（x）→B）??xA（x）→B ?x（B →A（x））? B→?xA（x） （2）?x（A（x）∨B）? ?xA（x）∨B ?x（A（x）∧B）? ?xA（x）∧B ?x（A（x）→B）? ?xA（x）→B ?