如果小明没有去上学，那他一定是生病了。如果小明生病了，他就会在家休息。只要小明去上学，他就会在教室认真学习。小明要么在教室认真学

如果小明没有去上学，那他一定是生病了。如果小明生病了，他就会在家休息。只要小明去上学，他就会在教室认真学习。小明要么在教室认真学习，要么在家休息。符号化上述推理过程，并构造推理证明。
【正确答案】：
【题目解析】：在符号化并证明推理有效性的题目中，要特别注意以下几点：（1）是命题逻辑的推理有效性还是谓词逻辑中的推理有效性问题；（2）如有必要，假设合理的论域；（3）用适当的符号表示所有的原子命题；（4）写出推理的假设和结论；（5）证明推理的有效性。特别注意的是量词消去的次序不能有误！