离散数学 谓词逻e辑.pptVIP

* 例3 判断下面的推理过程是否正确。 (1) ?x?yF(x,y) P (2) ?yF(z,y) US(1) (3) F(z,c) ES(2) (4) ?xF(x,c) UG(3) (5) ?y?xF(x,y) EG(4) 解：这个推理过程显然是错误的,因为从它可以得出结论 ： ?x?yF(x,y)??y?xF(x,y) 而由2.1节中的解释我们知道这个式子不成立。它的错误在于第(3)步。?x?yF(x,y)的含义是：对任一x,存在着与之相应的y,使F(x,y)成立。但是,对?yF(z,y)利用ES规则消去存在量词后得到的F(z,c)的含义却是：对任意客体z,有同一客体c,,使F(z,c)成立。显然,F(z,c)不是?yF(z,y)的有效结论。 因此,使用ES规则?xP(x)?P(c)消去存在量词的条件是：P(x)中除x外没有其他自由出现的客体变元。 * 练习 P79 T(1)-(a) 作业： P79 T(3)-(b) * 等价式和永真蕴含式 首先,命题演算的永真式也是谓词演算的永真式。 例如 : ?x(P(