如何将这句话转换为一阶逻辑格式良好的公式？
我正在尝试使用一阶逻辑（谓词逻辑）将以下句子转换为格式良好的公式。
所有塔的颜色相同。
我定义了以下谓词：
Tower(x) :: x 是一座塔。
颜色(x, y) :: x 的颜色为 y
我无法使用上述谓词将上述句子转换为格式良好的公式。是否可以使用上述谓词对其进行转换，或者应该需要一些新的谓词。请指教。
编辑：忘记添加细节。世界上只有三种颜色（红、绿、蓝）。这个细节可以用吗？这对解决方案有什么影响吗？
I am trying to convert the following sentence to a well formed formula using first-order logic(Predicate logic).
All towers are of the same color.
I have defined the following predicates:
Tower(x) :: x is a tower.
Color(x, y) :: x is of color y
I am not able to convert the aforementioned sentence into a well formed formula using the above predicates. Is it possible to convert it using the above predicates or some new predicate should be required. Please advise.
EDIT: Forgot to add a detail. There are only three available colours in the world (red, green, blue). Can this detail be used. Does that make any difference to the solution?
如果你对这篇内容有疑问，欢迎到本站社区发帖提问 参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。
绑定邮箱获取回复消息
由于您还没有绑定你的真实邮箱，如果其他用户或者作者回复了您的评论，将不能在第一时间通知您！
发布评论
评论（3）
存在一个 Y1 使得对于所有 X Tower(X) 意味着 Color(X, Y1)
There exists a Y1 such that for all X Tower(X) implies Color(X, Y1)
我们不要假设任何塔或颜色存在。
Let's not assume that any towers or colors exist.
在 StackOverflow 上发布此问题后，我意识到这个问题更适合数学。所以我在那里重新发布了这个问题。
虽然戴夫的解决方案是完全正确的，但那里发布的解决方案似乎更直观，所以我链接它 此处供其他用户参考。
After posting this on StackOverflow, I realized that the problem is more suitable for Math. So I had reposted the problem there.
Although, Dave's solution is perfectly correct, the solution posted there seems more intuitive, so I am linking it here for reference of other users.