第一个等值演算是正确的可以解释为“不是每一个X,Y都有性质P(X,Z)”后面那个“存在着X,Y没有性质P(X,Z)”，可以看出是一个意思也就是还有其他的X,Y有性质P（X,Z)。?y 对于谓词P(X,Z)没有实际意义你是不是写错了哦！

第3个?zC(x,y)，?z可以消去或者保留，等值演算为?x ?y (P(x) -> [ Q(y)->C(x,y) ])这里的?y为什么要变成这样，实际上是在自然语言中提炼絀来的你可以把它解释成命题，就知道了

这个答案其实要你自己理解才行，最好是看下离散数学你一下就会明白。