前提:"x(F(x)→G(x)) 结论:"x F(x)→"x G(x) 请用直接证明法证明
问题描述:
前提:"x(F(x)→G(x)) 结论:"x F(x)→"x G(x) 请用直接证明法证明
答
不会打箭头,就拿减号代替了,凑合看吧
X(F-G)(x)
(XF-XG)(x)
XF(x)-XG(x)