Логическая формула первого порядка

Question

R (x) - красный блок
B (x) - синий блок
T (x, y) блок x находится сверху блока y

Вопрос:
Напишите формулу, утверждающую, что если красный блок не находится над красным блоком, тогда красный блок не находится над самим собой.

Мой ответ: (Ax) (Ay) (R (x) и R (y) -> ~ T (x, y)) -> (Ax) (R (x) -> ~ T (x, x))
A = Для всех
~ = Не
-> = подразумевает

Answer 1

Это правдоподобная формулировка, хотя не обязательно самый прямой перевод предложения, который, на мой взгляд, является (Ax) (Ay) (T (x, y) -> R (x) -> ~ R (y)) -> ~ (3x) (R (x) и T (x, x)). 3, здесь, являясь экзистенциальным квантификатором (то есть "существует").

Answer 2

(Ax) (Ay) (Az) {(((R (x) и R (y)) -> ~ T (x, y)) -> ~ T (z, z)}

Answer 3

Хорошо выглядит для меня.