用推理规则证明下式:
前提:(∃x)(F(x)⋀S(x))→(∀y)(M(y)→w(y)),(∃y)((y)⋀¬ w(y))
结论:(∀x)(F(x)→¬S(x))。
【正确答案】：证明:(1)(∃x)(F(x)⋀S(x))→(∀y)(M(y)→W(y)) P规则
(2)(∃x)(F(x)⋀S(x))→(∀y)(M(y)→W(y)) ∃-(1)
(3)(∃x)(F(x)⋀S(x))→(∀y)(-M(y)Ⅴ(y)) T(2)
(4)(∃x)(F(x)⋀S(x))→(∃y)(M(y)⋀¬w(y)) T(3)e
(5)(∃y)(M(y)⋀¬W(y)) P规则
(6)¬(∃x)(F(x)⋀S(x)) T(4)(5)E
(7)(∀x)¬(F(x)⋀S(x)) T(6)E
(8)(∀x)(¬F(x)Ⅴ¬S(x) T(7)E
(9)(∀x)(F(x)→¬S(x)) T(8)E
