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