下面推理的证明过程是正确的。 前提:?x(F(x)→(G(y)?R(x))),?xF(x)。 结论:?x(F(x)?R(x))。 (1)?xF(x
下面推理的证明过程是正确的。 前提:?x(F(x)→(G(y)?R(x))),?xF(x)。 结论:?x(F(x)?R(x))。 (1)?xF(x) P (2)F(c) ES(1) (3)?x(F(x)→(G(y)?R(x))) P (4)F(c)→(G(y)?R(c)) US(3) (5)G(y)?R(c) T(2)(4)I (6)R(c) T(5)I (7)F(c)?R(c) T(2)(6)I (8)?x(F(x)?R(x)) EG(7)