与公式("x)(P(x)∧Q(x, y))Þ($x)R(x, y)等值的是( )。
A、("x)(P(x)∧Q(x,z))Þ($x)R(x,y);
B、("y)(P(y)∧Q(y,y))Þ($x)R(x,y);
C、("z)(P(z)∧Q(x,y))Þ($x)R(x,y);
D、("u)(P(u)∧Q(u,z))Þ($x)R(x,z)
发布时间:2025-09-28 22:30:38
A、("x)(P(x)∧Q(x,z))Þ($x)R(x,y);
B、("y)(P(y)∧Q(y,y))Þ($x)R(x,y);
C、("z)(P(z)∧Q(x,y))Þ($x)R(x,y);
D、("u)(P(u)∧Q(u,z))Þ($x)R(x,z)