问题详情
下列推理步骤错在()。(1)∀x(F(x)→G(x))P(2)F(y)→G(y)US(1)(3)∃xF(x)P(4)F(y)ES(3)(5)G(y)T(2)(4)I(6)∃xG(x)EG(5)
A、(2)
B、(4)
C、(6)
D、(5)