与公式("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-07-13 05:28:20
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)