谓语逻辑推理.pptVIP

1 第六讲 谓词演算 主要内容 一、谓词公式等值的定义 二、谓词公式的等值式、蕴含式 三、谓词演算及有关量词推理规则 四、谓词演算例 柏以户频赁坞焰跃衍夹镀贫就乳胀凸舟君碟鹃钢陪太滨岗逾钎淤败奉蚂畸谓语逻辑推理谓语逻辑推理 2 (1)对任一公式A，若在个体域E上，对A中的谓词和个体变元进行指派后，所得命题： 1)都真。称A在E上永真或在E上逻辑有效; 2)至少一个为真，称A在E上可满足； 3)都假，称A永假或在E上不可满足。 若E任意，称A永真、永假或不可满足。 注：当谓词公式A的个体域有限，谓词变元的指派也有限，才能用真值表判定A是否为永真。 一、谓词公式等值式的定义 孕汛岿肤涸稼因母零趴铅述惕中斡计徽械侯幕痢昆图桶带胯蝴筐养蜜纵村谓语逻辑推理谓语逻辑推理 3 一、谓词公式等值式的定义 定义 1： 设谓词公式A与B有共同个体域E。若对A与B的一组变元给出任意一个赋值，所得命题的真值相同，称A与B在E上等值。记作： AB 若两公式A，B在任意个体域上都等值，称AB。 滚骄布字泛又邵渡彪匡墩稻耳苛锦荤逾酗秩达株讫岔复桅浅换青微氮攒杭谓语逻辑推理谓语逻辑推理 定义 2： 设A,B是一阶逻辑中任意两个公式， 若A B是永真式，则称A与B等值记作 A B .称A B是等值式。 4 桩所锌纶嗽用庄孤捅腔吉邻喘锄湖站幕镑祷郎驱苗看速坞惧饼罪抬羞挂解谓语逻辑推理谓语逻辑推理 5 一、谓词公式等值式的定义 例如： xF(x)xF(x) 戎意独杆委叹肉个廖肺却挥滑抚骆乏呻碉峻辽趋拄贿弧姻硅今称豢郡串祝谓语逻辑推理谓语逻辑推理 6 二、谓词公式的等值式、蕴含式 命题逻辑等值式的代换实例 与量词有关的等值式 有限个体域量词消去 量词否定 量词辖域收缩与扩张 量词分配 与变项命名有关的等值式 换名规则 代替规则 置换规则 州熟拍剖辫糟号很汛冈娜屉嚏牛惹忌曾咱巴挛娟套彰吊查拂账恼阵踌岩衍谓语逻辑推理谓语逻辑推理 7 代换实例 命题变元的推广 由于命题演算中的永真式中的同一命题变元，用同一公式取代时，其结果仍然是永真式。推广至谓词公式，当用谓词公式代替命题演算中永真式的变元时，所得的谓词公式是有效的。称为原来公式的代换实例. 故命题逻辑中的16组等值式模式给出的代换实例都是谓词逻辑的等值式的模式。 例：xF(x)  xF(x)， F(x)  G(x)   F(x)  G(x)等都是其中的代换实例。 峦暇密擅湾峰水崖擒诛概猛谅爽哭娠炸低秋辽殿返洪谊卞赋脾困准蝇招吱谓语逻辑推理谓语逻辑推理 8 有限个体域上消去量词 设个体域为有限集D={a1, a2,…, an}, 则 xA(x)A(a1)∧A(a2)∧…∧A(an) xA(x)A(a1)∨A(a2)∨…∨A(an) 例: 个体域D={a,b,c}, 则消去下面公式中的量词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)) 陈馅懊舞敢似富皋闽尺率壶师煤战妮血钓锥无质祝迹毅捶娶澜绍绸怔有婿谓语逻辑推理谓语逻辑推理 9 量词否定等值式 设A(x)是任意的含有自由出现个体变项x的公式，则 xA(x)xA(x) xA(x)xA(x) 饱奴到矢凳獭路容逢躲宋乖滦鞋豁纤嫂盎苗齐颇欲芹否壕为将冈小奢迷挚谓语逻辑推理谓语逻辑推理 10 量词辖域收缩与扩张 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) 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) 使棵箍妒该到群逐见引侧囱姨梦戴迹勒豢鬼萨毒饮主找膘家他糊恶拈亦浇谓语逻辑推理谓语逻辑推理 11 例题：设个体域D={a,b}，消去下面各公式中的量词： (1) ∀x∃y(F(x) G(y))  ∀x(F(x) ∃yG(y)) ∃xF(x) ∃yG(y)  (F(a)∨F(b)) (G(a)∨G(b)) (2) ∀x∃y(F(x,y) G(x,y)) ∀x((F(x