A. P(q(f(v)),g(u))和P(x,x)

B. P(x,f(x))和P(y,y)

C. P(y,y,B)和P(z,x,z)

D. P(f(A),x),P(x,A)