符号化下列命题，并构造推理证明。任何人如果他是素食者，他就不喜欢吃肉；每一个人或者喜欢吃肉或者喜欢吃蔬菜；有的人不爱吃蔬菜。因而
符号化下列命题，并构造推理证明。任何人如果他是素食者，他就不喜欢吃肉；每一个人或者喜欢吃肉或者喜欢吃蔬菜；有的人不爱吃蔬菜。因而不是所有的人都是素食者。
【正确答案】：
【题目解析】：在符号化并证明推理有效性的题目中，要特别注意以下几点：（1）是命题逻辑的推理有效性还是谓词逻辑中的推理有效性问题；（2）如有必要，假设合理的论域；（3）用适当的符号表示所有的原子命题；（4）写出推理的假设和结论；（5）证明推理的有效性。特别注意的是量词消去的次序不能有误！
【正确答案】：
【题目解析】：在符号化并证明推理有效性的题目中，要特别注意以下几点：（1）是命题逻辑的推理有效性还是谓词逻辑中的推理有效性问题；（2）如有必要，假设合理的论域；（3）用适当的符号表示所有的原子命题；（4）写出推理的假设和结论；（5）证明推理的有效性。特别注意的是量词消去的次序不能有误！