Computer science 一阶逻辑公式

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=适用于所有
~=不

---

->这是一个似是而非的公式，尽管不一定是这个句子最直接的翻译，在我看来，它是（Ax）（Ay）（T（x，y）->R（x）->~R（y））->~（3x）（R（x）和T（x，x））。3，这里，作为存在量词（即“存在”）。

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

我有两个答案，只是好奇，这是正确的答案吗？我认为markdown无法处理存在量词或通用量词…编辑：在我看到你的编辑之前编写。对不起，我还没有尝试过，但你认为这个公式是封闭的吗？换句话说，有一个表格证明吗？这是针对我的公式还是你的公式？我的公式是我认为它们是等价的，并且都是封闭的，但是你的公式看起来好像有一个更短的证明。