那么一道简单的离散数学证明题哦~兄弟姐妹们快来捡分呀
在一届逻辑自然推理系统F中构造下面推理的证明(个体域为人类集合)
如果一个人怕困难,那么他就不会获得成功.每个人或者获得成功,或者曾经失败过.有些人为失败过.所以有些人不怕困难.
求详解(大概的步骤还是要有滴..)