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

所有塔的颜色都相同。

我已经定义了以下谓词：

Tower(x) :: x 是一座塔。

Color(x, y) :: x 的颜色是 y

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

编辑：忘记添加一个细节。世界上只有三种可用的颜色（红色、绿色、蓝色）。这个细节可以使用吗？这会对解决方案产生任何影响吗？

回答：

存在一个 Y1，使得对于所有 X，Tower(X) 蕴含 Color(X, Y1)