谓词逻辑杯子在书之上答案

【问题标题】：Predicate Logic A cup is above a book谓词逻辑杯子在书之上
【发布时间】：2017-12-01 13:12:55
【问题描述】：

我是对还是错。以下句子的谓词逻辑。

一个杯子高于一本书。

\x exists \y exists cup(x) and book(y) and above(x,y)

杯子碰一本书。

\x exists \y exists cup(x) and book(y) and touches(x,y).

如果 x 在 y 之上，则 y 支持 x。

for all x For all y on(x,y) implies support(y,x).

如果 x 在 y 之上并且它们相互接触，则 x 在 y 之上。
```
for all x for all y above(x,y) and touches(x,y)  implies on(x,y).
```

我说的对吗？

【问题讨论】：

【解决方案1】：

你所有的公式在我看来都是合理的表述。

我会在above(x,y) and touches(x,y) 周围添加额外的括号，以确保两者一起构成暗示的前件。否则可能会被错误地解释为above(x,y) and (touches(x,y) implies on(x,y))

【讨论】：