表达式P(x,f(y),B)是一个谓词，如果用s1={z/x}，表示用z变量替换变量x,一般可以用：P(x,f(y),B)s1表
2023-12-01人工智能
表达式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)(s1s3)的结果是（ ）。
A.P(z.f(y),B)
B.P(z.f(x),B)
C.P(z.f(C),B)
D.P(z.f(M),B)
正确答案是D
