一阶逻辑公式
R(x) 是一个红色块
B(x) 是一个蓝色块
T(x,y) 块 x 在块 y 的顶部问题
：
编写一个公式，断言如果没有红色块位于红色块之上，则没有红色块位于其自身之上。
我的回答： (Ax)(Ay)(R(x) 和 R(y) -> ~T(x,y))->(Ax)(R(x)-> ~T(x,x))< br> A = 对于所有人
~ = 不是
-> = 意味着
R(x) is a red block
B(x) is a blue block
T(x,y) block x is on top of block y
Question:
Write a formula asserting that if no red block is on top of a red block then no red block is on top of itself.
My answer:
(Ax)(Ay)(R(x) and R(y) -> ~T(x,y))->(Ax)(R(x)-> ~T(x,x))
A = For all
~ = Not
-> = implies
如果你对这篇内容有疑问，欢迎到本站社区发帖提问 参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。
绑定邮箱获取回复消息
由于您还没有绑定你的真实邮箱，如果其他用户或者作者回复了您的评论，将不能在第一时间通知您！
发布评论
评论（3）
这是一个看似合理的表述，尽管不一定是该句子最直接的翻译，在我看来，它是 (Ax)(Ay)(T(x,y) -> R(x) -> ~ R(y))→ ~(3x)(R(x) 和 T(x,x))。 3，这里是存在量词（即“存在一个”）。
That is a plausible formulation, though not necessarily the most straight-forward translation of the sentence, which, to my mind, is (Ax)(Ay)(T(x,y) -> R(x) -> ~R(y)) -> ~(3x)(R(x) and T(x,x)). 3, here, being the existential quantifier (i.e. "there exists an").
我觉得不错。
Looks good to me.
(Ax)(Ay)(Az) { (((R(x) 和 R(y)) -> ~T(x,y)) -> ~T(z,z) }
(Ax)(Ay)(Az) { (((R(x) and R(y)) -> ~T(x,y)) -> ~T(z,z) }