一阶逻辑
First order logic
我对考试的一阶逻辑有疑问：
"Anybody who has a degree and experience in some field he will work in
that field. Anyone who practices in a particular field will get
experience in that field. Bob practices in the programming field and
he has a degree"
回答
∀x ∃y hasDegree(x) ∧ hasExperience(x,y) --> worksIn(x,y)
这是我遇到问题的第一行。实际上是字段部分。
让我们逐项将 FOL 翻译成它代表的内容，
事情是这样的：
对于所有 x，某些领域 y，如果 x 有学位并且 x 在领域 y 有经验 那么 这意味着 x 在领域 y 工作。
看看有没有帮助。
我对考试的一阶逻辑有疑问：
"Anybody who has a degree and experience in some field he will work in that field. Anyone who practices in a particular field will get experience in that field. Bob practices in the programming field and he has a degree"
回答
∀x ∃y hasDegree(x) ∧ hasExperience(x,y) --> worksIn(x,y)
这是我遇到问题的第一行。实际上是字段部分。
让我们逐项将 FOL 翻译成它代表的内容，
事情是这样的： 对于所有 x，某些领域 y，如果 x 有学位并且 x 在领域 y 有经验 那么 这意味着 x 在领域 y 工作。
看看有没有帮助。