11问答网
所有问题
离散数学 证明下面的等值式
如题所述
举报该问题
其他回答
第1个回答 2020-01-31
本题不是等值式,是构造推理证明:
前提:┒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))
得证。
相似回答
大家正在搜