如何將這句話轉換成邏輯良好的一階公式？

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的解決方案是完全正確的，但此處發布的解決方案似乎更加直觀，因此我將其鏈接到此處以供其他用戶參考。