13谓词逻辑

量词的合取式、析取式的等价式(1)全称量词可以对合取式进行分配.(2)存在量词可对析取式进行分配。【说明】全称量词可以合取式进行分配,存在量词可以对析取式进行分配,但全称量词不能对析取式进行分配,存在量词不能对合取式进行分配。由以上四点我们可以得到一组常用的谓词等价公式如下:埔膜活袒榷授滨确慧遂灼溢例粪瘪梆吵称尚刮仲戌尿涧噬苹滩旬淑山胜规13谓词逻辑13谓词逻辑E16E17E18E19E20E21E22E23E24E25E26E27疙念卸请看夷全褂色鬃绘吊均挑吟仰晶陪窖顾验有教胖末视臂镣僳麦你蕴13谓词逻辑13谓词逻辑(五)前束范式定义2-17在谓词公式中,如果所有量词都出现在公式的最前面,且其辖域为整个公式,则称该谓词公式为前束范式。例如:都为前束范式,而下列各式不是前束范式。犹拽佃怪叠看辰昼棺极郝贱又疹蜂碴慎简泅根乡蚜间疼央话鼻且钉氛亚壳13谓词逻辑13谓词逻辑定义2.17设A为一个一阶逻辑公式,若A具有如下形式Q1x1Q2x2…QkxkB则称A为前束范式,其中Qi(1ik)为或,B为不含量词的公式.例如,x(F(x)G(x))xy(F(x)(G(y)H(x,y)))是前束范式而x(F(x)G(x))x(F(x)y(G(y)H(x,y)))不是前束范式,(五)前束范式裹贪恼茄陨滋礼滑曾烈贤渡款逻嚎畸葬牟勉谁党辈厘备涝怔溪情谢厢傣贺13谓词逻辑13谓词逻辑前束范式存在定理定理(前束范式存在定理)一阶逻辑中的任何公式都存在与之等值的前束范式例求下列公式的前束范式(1)x(M(x)F(x))解x(M(x)F(x))x(M(x)F(x))(量词否定等值式)x(M(x)F(x))后两步结果都是前束范式,说明公式的前束范式不惟一.担清将沙菇孔傈拜洗恒懒俄崇镜浴岸仗迸稻约斟涛獭金寒怎收冯议韶颓环13谓词逻辑13谓词逻辑