一阶逻辑公式

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

对我来说看上去很好。

Answer 3

（Ax）（Ay）（Az）{（（（（R（x）和R（y））->〜T（x，y））->〜T（z，z）}