【单选题】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-07-03 23:07:49
