不挂科搜题免费

问题:

【简答题】在自然推理系统中,构造下面的证明(可以使用附加前提法): 前提: " x(F(x)→G(x

答案:

1: " x(F(x) 附件前提引入 2. F(y) UI 3 " x(F(x)→G(x)) 前提引入 4. F(y)→G(y) UI 5. G(y) 2.4 假言推理 6. " xG(x) UG