我对考试的第一顺序逻辑有疑问：
“任何在某个领域拥有学位和经验的人，他都会参加 那个领域。任何在特定领域执业的人都会得到 在该领域的经验。鲍勃在编程领域练习 他有一个学位“
答案
∀x∃yendegree（x）∧withExperience（x，y） - ＆gt; worksIn（X，Y）
这是我遇到问题的第一行。实际上是现场部分。
答案 0 :(得分：1)
让我们将FOL翻译成它所代表的术语，
它是这样的： 对于所有x，某些字段y，如果 x具有度数且x具有字段y 的经验，那么这意味着x适用于字段y。
看看它是否有帮助。