表达式P(x,f(y),B)是一个谓词,如果用s1={z/x},表示用z变量替换变量x,一般可以用:P(x,f(y),B)s1表示这样的替换,它的结果是P(x,f(y),B)s1=P(z,f(y),B),替换是可以结合的,如s2={C/y},那么P(x,f(y),B)(s1s2)=P(z,f(y),B)s2=P(z,f(C),B)。按照这样的思路,如果s3={M/y},P(x,f(y),B)(s1
A.P(z.f(y),B) B.P(z.f(x),B) C.P(z.f(C),B) D.P(z.f(M),B)