那么一道简单的离散数学证明题哦~兄弟姐妹们快来捡分呀

已知条件有误,“有些人为失败过”貌似应该是“有些人没有失败过”?-----------------------------------------------------以下以A表示全称量词,E表示存在量词,┐表示否定联结词设F(x)：x怕困难,G(x)：x获得成功,H(x)：x失败前提：Ax(F(x)→┐G(x)),Ax(G(x)∨H(x)),Ex(┐H(x))结论：Ex(┐F(x))证明：1 Ex(┐H(x))2 ┐H(c)3 Ax(G(x)∨H(x))4 G(c)∨H(c)5 G(c)6 Ax(F(x)→┐G(x))7 F(c)→┐G(c)8 ┐F(c)9 Ex(┐F(x))