這個一階邏輯表示正確嗎？

Question

我需要觀看一個在線視頻以了解一階邏輯，

在FLO中進行轉換的語句是

每個人都愛它的母親。

講師這樣寫

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

如果x是person1，person2，person3，它將正常工作。

但是，如果x是table，它將無法工作。 因此，在這里使用For All X似乎並不適合我。 有人可以向我解釋我在做什么錯嗎？

Answer 1

為簡單起見，講師假定該域僅為人。 當然，您說的是正確的。 應該添加其他語句，例如Person（x）和Person（y），以使其更加具體。

Answer 2

沒錯，錯誤在於（存在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愛他的母親，那就是您在一開始就擁有的主張。

人工智能部分在哪里？

（對不起我的英語不好）