符号化下列命题，并构造推理证明。一个人只有努力，才能获得成功;每个人或者获得成功，或者曾经失败过;有些人未曾失败过，所以有些人很努力。
设论域为所有人。令P(x):x努力; Q(x): x获得成功；R(x): x曾经失败
符号化下列命题，并构造推理证明。一个人只有努力，才能获得成功;每个人或者获得成功，或者曾经失败过;有些人未曾失败过，所以有些人很努力。
设论域为所有人。令P(x):x努力; Q(x): x获得成功；R(x): x曾经失败
