如何将这句话转换成逻辑良好的一阶公式？

Question

我正在尝试使用一阶逻辑（谓词逻辑）将以下句子转换为格式正确的公式。

所有的塔都具有相同的颜色。

我定义了以下谓词：

塔（x）:: x是塔。

Color（x，y）:: x的颜色为y

我无法使用上述谓词将上述句子转换为格式正确的公式。 是否可以使用上述谓词将其转换，或者需要一些新的谓词。 请指教。

编辑：忘记添加详细信息。 世界上只有三种可用的颜色（红色，绿色，蓝色）。 可以使用此详细信息吗？ 这对解决方案有什么影响吗？

Answer 1

存在一个Y1使得对于所有X Tower（X）都意味着Color（X，Y1）

Answer 2

我们不假定存在任何塔楼或颜色。

tower(x) ∧ tower(y) ∧ color(x,z) → color(y,z)

Answer 3

将其发布到StackOverflow之后，我意识到该问题更适合Math 。 因此，我将问题重新发布到了那里。

尽管Dave的解决方案是完全正确的，但此处发布的解决方案似乎更加直观，因此我将其链接到此处以供其他用户参考。