一阶逻辑等值式与置换规则ppt.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 ?x（B→A（x））? B→?xA（x） 4、量词分配等值式 对于任意的公式A（x）和B（x）： （1）?x（A（x）∧B（x））??xA（x）∧?x B（x） （2）?x（A（x）∨B（x））? ?xA（x）∨?x B（x） 5、同种量词顺序置换等值式 对于任意的公式A（x，y） (1)?x?yA（x，y）? ?y?xA（x，y） (2)?x?yA（x，y）? ?y?xA（x，y） 一阶逻辑的等值演算 一阶逻辑的等值演算中三条重要的规则： 1、置换规则 设ф(A)是含公式A的公式，ф(B)是用公式B置换了ф(A)中所有的A后得到的公式，若A?B，则ф(A) ?ф(B)。 解：（1）?x（F（x）→G（x）） ?（F（a）→G（a））∧ （F（b）→G（b））∧ （F（c）→G（c）） （2）?x（F（x）∨?yG（y）） ? ?xF（x）∨?yG（y） ?（F（a）∧F（b）∧F（c））∨ （G（a）∨G（b）∨G（c）） （3）?x?yF（x，y） ? ?x（F（x，a）∧F（x，b）∧F（x，c）） ?（F（a，a）∧F（a，b）∧F（a，c））∨ （F（b，a）∧F（b，b）∧F（b，c））∨ （F（c，a）∧F（c，b）∧F（c，c）） 例 给定解释I如下： （a）个体域D={2，3}； （b）D中特定元素a=2 （c）D上特定函数f（x）为：f（2）=3，f（3）=2 （d）D上特定谓词 G（x，y）为：G（2，2）= G（2，3）= G（3，2）=1， G（3，3）=0。 L（x，y）为：L（2，2）= L（3，3）=1， L（2，3）= L（3，2）=0。 F（x）为：F（2）=0，F（3）=1。 在I下求下列各式的真值。 （1）?x（ F（x）∧ G（x，a）） （2）?x（ F（f（x））∧ G（x，f（x））） （3）?x ?y L（x，y） （4）?y ?x L（x，y） 解： （1）?x（F（x）∧G（x，a）） ?（F（2）∧G（2，a））∧（F（3）∧G（3，a）） ?（F（2）∧G（2，2））∧（F（3）∧G（3，2）） ?（0∧1）∧（1∧1） ? 0 （2）?x（F（f（x））∧G（x，f（x））） ?（F（f（2））∧G（2，f（2）））∨ （F（f（3））∧G（3，f（3））） ?（F（3）∧G（2，3））∨（F（2）∧G（3，2）） ?（1∧1）∨（0∧1） ? 1 （3）?x ?y L（x，y） ??x（L（x，2）∨L（x，3）） ?（L（2，2）∨L（2，3））∧ （L（3，2）∨L（3，3）） ?（1∨0）∧（0∨1） ? 1 （4）?y ?x L（x，y） ? ?y（L（2，y）∧L（3，y）） ?（L（2，2）∧L（3，2））∨ （L（2，3）∧L（3，3）） ?（1∧0）∨（0∧1） ? 0 例 证明下列各等值式。 （1）┐?x（ M（x）∧F（x）） ??x（ M（x）→┐F（x）） （2）┐?x（ F（x）→G（x）） ??x（ F（x）∧┐G（x））