Question

离散数学 证明下面的等值式

Answer 1

本题不是等值式，是构造推理证明：
　　前提：┒Ex(P(x)∧H(x))，Ax(F(x)→H(x))。
　　结论：Ax(F(x)→┒P(x))
　　证明：
　　①┒Ex(P(x)∧H(x))
前提引入
　　②
Ax(┒P(x)∨┒H(x))
……
(以下每一步的理由留给你)
　　③Ax(H(x)→┒P(x))
　　④H(a)→┒P(a)
　　⑤Ax(F(x)→H(x))
　　⑥F(a)→H(a)
　　⑦F(a)→┒P(a)
　　⑧Ax(F(x)→┒P(x))
得证。