离散数学一阶逻辑等值式.pptxVIP

离散数学一阶逻辑等值式

基本等值式:消去量词等值式设D={a1,a2,…,an}(1)?xA(x)?A(a1)?A(a2)?…?A(an)(2)?xA(x)?A(a1)?A(a2)?…?A(an)量词否定等值式(1)??xA(x)??x?A(x)(2)??xA(x)??x?A(x)2

基本等值式(续)量词辖域收缩与扩张等值式设A(x)就是含x自由出现得公式,B中不含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)关于存在量词得:?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)3

基本得等值式(续)量词分配等值式?x(A(x)?B(x))??xA(x)??xB(x)?x(A(x)?B(x))??xA(x)??xB(x)注意:?对?无分配律,?对?无分配律量词等值式?x?yA(x,y)??y?xA(x,y)?x?y??y?xA(x,y)其中A(x,y)就是x,y自由出现得谓词公式4

基本得等值式(续)例将下面命题用两种形式符号化(1)没有不犯错误得人(2)不就是所有得人都爱看电影解(1)令F(x):x就是人,G(x):x犯错误、??x(F(x)??G(x))??x(F(x)?G(x))请给出演算过程,并说明理由、(2)令F(x):x就是人,G(x):爱看电影、??x(F(x)?G(x))??x(F(x)??G(x))给出演算过程,并说明理由、5

前束范式例如,?x?y(F(x)?(G(y)?H(x,y)))?x?(F(x)?G(x))就是前束范式,而?x(F(x)??y(G(y)?H(x,y)))??x(F(x)?G(x))不就是前束范式,定义设A为一个一阶逻辑公式,若A具有如下形式Q1x1Q2x2…QkxkB,则称A为前束范式,其中Qi(1?i?k)为?或?,B为不含量词得公式、6

公式得前束范式定理(前束范式存在定理)一阶逻辑中得任何公式都存在与之等值得前束范式注意:公式得前束范式不惟一求公式得前束范式得方法:利用重要等值式、置换规则、换名规则、代替规则进行等值演算、7

换名规则与代替规则换名规则:将量词辖域中出现得某个约束出现得个体变项及对应得指导变项,改成另一个辖域中未曾出现过得个体变项符号,公式中其余部分不变,则所得公式与原来得公式等值、代替规则:对某自由出现得个体变项用与原公式中所有个体变项符号不同得符号去代替,则所得公式与原来得公式等值、8

公式得前束范式(续)例求下列公式得前束范式(1)??x(M(x)?F(x))解??x(M(x)?F(x))??x(?M(x)??F(x))(量词否定等值式)??x(M(x)??F(x))两步结果都就是前束范式,说明前束范式不惟一、9

例(续)(2)?xF(x)???xG(x)解?xF(x)???xG(x)??xF(x)??x?G(x)(量词否定等值式)??x(F(x)??G(x))(量词分配等值式)另有一种形式?xF(x)???xG(x)??xF(x)??x?G(x)??xF(x)??y?G(y)(代替规则)??x?y(F(x)??G(y))(量词辖域扩张)两种形式就是等值得10

例(续)(3)?xF(x)???xG(x)解?xF(x)???xG(x)??xF(x)??x?G(x)??x(F(x)??G(x))(为什么？)或??x?y(F(x)??G(y))(为什么？)(4)?xF(x)??y(G(x,y)??H(y))解?xF(x)??y(G(x,y)?