一阶逻辑

Question

我有一个关于考试一阶逻辑的问题：

“任何在他将工作的领域拥有学位和经验的人 那个领域。任何在特定领域实践的人都会得到 该领域的经验。 Bob 在编程领域的实践和 他有学位”

回答

∀x ∃y hasDegree(x) ∧ hasExperience(x,y) -->worksIn(x,y)

这是我遇到问题的第一行。实际上是字段部分。

Answer 1

让我们将 FOL 逐项翻译成它所代表的内容，

它是这样的： 对于所有 x ，某些领域 y，如果 x 有学位并且 x 在领域 y 有经验那么 这意味着 x 在领域 y 工作。

看看有没有帮助。