如何在FOL（一阶逻辑）中表示以下句子“有一种只吃肉的动物”是以下的represantaion是真的吗？
Ǝx吃（x，肉），其中x是动物
答案 0 :(得分：0)
一次小修正会使其正确。虽然看起来有点傻。 让节拍成为只有吃。
答案 1 :(得分：0)
不，这不完全正确。正如Gabe的评论中指出的那样，你的表达并不排除x吃其他东西的可能性。你需要添加一个不包含所有非肉类食物的混合物。你如何做到这一点取决于你正在使用哪种逻辑。
答案 2 :(得分：0)
他能说：
-Eats（x，y）^ y！= meat
暗示肉是动物唯一不吃的东西？非常悲观的观点，但它完成了工作，哈哈。
答案 3 :(得分：0)
我认为表示句子的简单方法是：
Ǝx∀y（Animal（x）∧Eats（x，y）） - ＆gt;肉（y）的