一階邏輯公式

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）}