Logic 这个一阶逻辑表示正确吗？

我需要看一段关于一阶逻辑的在线视频

要在FLO中转换的语句为

每个人都爱自己的母亲

老师是这样写的

(For All x)(There exists y) Mother(x,y) and Loves(x,y)

如果x是person1，person2，person3，它会工作得很好

---

然而，如果x是table，它将不起作用。因此，在这里，对我来说，使用所有X似乎不合适。有人能给我解释一下我做错了什么吗？

为了简单起见，讲师假设这个领域只有人类。当然，你说的是对的。应添加其他语句，例如Personx和Persony，以使其更具体。

您是对的，错误在于存在y，因为如果x是表，则不存在母亲。我认为正确的答案可能是

(For All x)(for all y)(if Mother(x,y) than Loves(x,y))

或者，只是为了确保被理解

(For All x)(for all y)(Mother(x,y) --> Loves(x,y))

这意味着，对于每个x和y，即使对于表，如果y是x的母亲，那么x爱他的母亲，这就是您在开始时的断言

人工智能的部分在哪里

---

对不起，我的英语不好

如果没有定义宇宙，则断言必须是一般性的