一阶逻辑公式

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 =对于所有人 〜=不是 - ＆GT; =暗示

Answer 1

这是一个看似合理的表述，但不一定是句子中最直接的翻译，在我看来，是（Ax）（Ay）（T（x，y） - > R（x） - ＆gt; ~R（y）） - ＆gt; 〜（3x）（R（x）和T（x，x））。 3，这里，是存在量词（即“存在”）。

Answer 2

对我来说很好。

Answer 3

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