• 2022-10-25
    与公式("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)
  • 举一反三