符号化下列命题，并构造推理证明。任何人如果他是素食者，他就不喜欢吃肉；每一个人或者喜欢吃肉或者喜欢吃蔬菜；有的人不爱吃蔬菜。因而

符号化下列命题，并构造推理证明。任何人如果他是素食者，他就不喜欢吃肉；每一个人或者喜欢吃肉或者喜欢吃蔬菜；有的人不爱吃蔬菜。因而不是所有的人都是素食者。
【正确答案】：

设个体域是全体人类；
F(x)：x是素食者；
M(x):x喜欢吃肉;
H(x):x喜欢吃蔬菜。

(注:本题证明过程不唯一)