离散数学屈婉玲第五章.pptxVIP

离散数学-第五章一阶逻辑等值演算-主要内容-●一阶逻辑等值式与基本的等值式-●置换规则、换名规则、代替规则

前束范式-1;离散数学-5.1一阶逻辑等值式与置换规则-定义5.1设A,B是两个谓词公式，如果A←B是永真式，则称A-

B等值，记作A台B,并称A一B是等值式-基本等值式-第一组命题逻辑中16组基本等值式的代换实例-例如，一一

Fx台xFx,-VxFx-→]yGy台一xFxV]yGy等-第二组-1消去量词等值式-设D={a1,423

,4n}-①VxAx台Aa1Aa2N.Aan-②3xAx台Aa1VAa2V..VAam;离散数学-基本等值式-2量词否定等值式-①-VxAx台3xAx-②-3xAx台VxAx-3量词辖域收缩与扩

等值式。-Ax是含x自由出现的公式，B中不含x的自由出现-关于全称量词的：-①VxAxVB台VxAxVB-

xAxB台VxAxAB-③VxAx→B台3xAx→B-④VxB→Ax台B→VxAx;离散数学-基本等值式-关于存在量词的：-①3xAxVB台3xAxVB-②3xAxAB台3xAxB-③3xA

→B台VxAx→B-④3xB→Ax台B→]xAx-4量词分配等值式-①VxAxABx台VxAxAVxBx

②3xAxvBx台3xAxV3xBx-注意：V对v,对无分配律;离散数学置换规则、换名规则、代替规则-1.置换规则-设A是含A的公式，那么，若A台B,则A台B.-2.换名

则-设A为一公式，将A中某量词辖域中个体变项的所有约束-出现及相应的指导变元换成该量词辖域中未曾出现过的个

体变项符号，其余部分不变，设所得公式为A,则A台A.-3.代替规则-设A为一公式，将A中某个个体变项的

有自由出现用A中-未曾出现过的个体变项符号代替，其余部分不变，设所得-5;离散数学-实例-例1将下面命题用两种形式符号化，并证明两者等值：-1没有不犯错误的人-解令Fx:x是人，G

:x犯错误.-3xPFxA一Gx-或-VxFx→Gx--3xFxΛGx-台xFxAGx-量词否定等值式-台

xFxVGx-置换-台VxFx→Gx-6;离散数学-实例-2不是所有的人都爱看电影-解令Fx:x是人，Gx:爱看电影.-一xFx→Gx或3xFxA-

x-台3xFx→Gx-量词否定等值式-台3x一（一FxVGx-置换-台3xFxAGx-7;离散数学-实例-例2将公式化成等值的不含既有约束出现、又有自由出现-的个体变项：xFx,y2→]yGxy-

xFx,y,z→yGx,y,z-台VxFc,y,z→3tGK,4,z-换名规则-→Vx3tFx,y,z→G

,tz-辖域扩张等值式-或者-VxFx,y,z-yGx,y,-台VxFx,u,z→]yGx,y,z-代替

则-台Vx3yFx,w,Z→Gx,y,Z-8;离散数学-实例-例3设个体域D={a,b,ch,消去下述公式中的量词：-1x3yFx→Gy-解x3yFx→

y-→3yFa→GyA3yFb→GyA3yFc→Gy-→F@→GavF@→GbvFa-→Gc-AFb→Ga

vFb→GbvFb→Gc-AFc→G@vFc→GbvFc→Gc-9;离散数学-实例-解法二-Vx3yFx→Gy-台VxFx→3yGy-辖域收缩等值式-台xFx→G@vGbvG

-台Fa→GvGbvGc-Fb-GavGbvGc-FcGavGbvGc-10;离散数学-实例-2xVyFx,y-xFx,aFx,bFx,c-Fa,a/Fa,bFa,c-Fb,aFb,b

b,c-VFc,a/Fc,bnFc,c-11;离散数学-5.2一阶逻辑前束范式-定义5.2设A为一阶逻辑公式，若A具有如下形式-Qx22x2...Qk

kB-则称A为前束范式，其中2，1≤i≤为V或]，B为不含量词-的公式.-例如，x一FxAGx-VxyFx

GyHxy是前束范式-而-xFxAGx-VxFx→yGyH,y不是前束范式-12;离散数学-前束范式存在定理-定理5.1（前束范式存在定理-一阶逻辑中的任何公式都存在与之等值的前束范式-例

求下列公式的前束范式-13xMxFx-解xMxAFx-台VxMxv一Fx-量词否定等值式-台VxMx→Fx

后两步结果都是前束范式，说明公式的前束范式不惟一.;离散数学-求前束范式的实例-2VxFxxGx-解VxFxA3xG-→VxFx∧xGx-量词否定等值式-台V

FxA一Gx-量词分配等值式-或-VxFx-xGx-台VxFxAVxGx-台VxFxAyGy-换名规则-台

yFxAGy-辖域收缩扩张规则-14;离散数学-求前束范式的实例-3VxFxyGx,yHy-解xFx→3yGxyAHy-台VzFz→yGxyA

y-换名规则-台3z3yFz→GxyAH0y-辖域收缩扩张规则-或-台xFx-→3yG亿yΛHy-代替规则

台3x]yFx