P(x, f(A))∨Q(x)和 ¬Q(f(y))∨R(z)的消解式为A．P(x,f(A))∨R(z)B．P(x,f(A))∨Q(x)∨R(z), σ = {f(y)/x}C．P(f(y),f(A))∨R(z), σ={f(y)/x}D．P(f(y),f(x))∨R(z)
P(x, f(A))∨Q(x)和 ¬Q(f(y))∨R(z)的消解式为
A、P(x,f(A))∨R(z)
B、P(x,f(A))∨Q(x)∨R(z), σ = {f(y)/x}
C、P(f(y),f(A))∨R(z), σ={f(y)/x}
D、P(f(y),f(x))∨R(z)
发布时间：2025-06-28 02:33:21
