等值式的定义 定义5.1设A,B是一阶逻辑中任意两个公式,若A>B是永 真式,则称A与B是等值的。 记做A>B,称A令→B是等值式。 例如:三x(F(x)-G(x)>x(F(x)>G(x) 说口判断公式A与B是否等值,普价于判断公式 明 A<B是否为永真式。 口调词逻辑中关于联结词的等值式与命题逻 辑中相关值式类似。等值式的定义 定义5.1 设A，B是一阶逻辑中任意两个公式，若 AB是永 真式，则称A与B是等值的。 记做AB，称 AB 是等值式。 例如： x(F(x)G(x))x(F(x)→G(x)) ❑ 判断公式A与B是否等值，等价于判断公式 AB是否为永真式。 ❑ 谓词逻辑中关于联结词的等值式与命题逻 辑中相关等值式类似。 说 明