构造下列命题的推理证明:
    有些人喜欢所有的花,但人们都不喜欢杂草,所以花不是杂草。
 
【正确答案】先将命题符号化:
   M(x):x是人;F(x):x是花;G(x):x是杂草:L(x,y):x喜欢y。
   
   推理证明如下:
   
【答案解析】