Как преобразовать это предложение в правильную формулу логики первого порядка?

Question

Я пытаюсь преобразовать следующее предложение в правильно сформированную формулу с использованием логики первого порядка (логика предиката).

Все башни одного цвета.

Я определил следующие предикаты:

Башня (x) :: x isбашня.

Цвет (x, y) :: x имеет цвет y

Я не могу преобразовать вышеупомянутое предложение в правильно сформированную формулу, используя вышеуказанные предикаты.Можно ли преобразовать его, используя приведенные выше предикаты, или требуется новый предикат.Пожалуйста, сообщите.

РЕДАКТИРОВАТЬ: Забыли добавить детали.В мире есть только три доступных цвета (красный, зеленый, синий).Можно ли использовать эту деталь?Имеет ли это какое-либо значение для решения?

Answer 1

Существует Y1 такой, что для всех X Tower (X) подразумевается Цвет (X, Y1)

Answer 2

Давайте не будем предполагать, что существуют какие-либо башни или цвета.

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

Answer 3

После публикации этого в StackOverflow я понял, что проблема больше подходит для Math .Так что я перенес проблему туда.

Хотя решение Дейва совершенно правильно, опубликованное там решение кажется более интуитивным, поэтому я связываю его здесь для справки других пользователей.