符号化下列命题，并构造推理证明。每个学生都是勤奋的；每个勤奋而又聪明的人在他的工作生活中都将获得成功；小华是学生，并且是聪明的。

符号化下列命题，并构造推理证明。每个学生都是勤奋的；每个勤奋而又聪明的人在他的工作生活中都将获得成功；小华是学生，并且是聪明的。所以，小华在他的工作生活中将获得成功。
【正确答案】：

设论域为所有人。令P(x): x是学生; Q(x): x勤奋；R(x): x聪明；S(x)：x在他的工作生活中将获得成功。c：表示小华

【题目解析】：在符号化并证明推理有效性的题目中，要特别注意以下几点：（1）是命题逻辑的推理有效性还是谓词逻辑中的推理有效性问题；（2）如有必要，假设合理的论域；（3）用适当的符号表示所有的原子命题；（4）写出推理的假设和结论；（5）证明推理的有效性。特别注意的是量词消去的次序不能有误！