问题描述
我有一句话：
每个上 Tim 教授教授的课程的学生也在上 Jim 教授教授的课程。
我已将其翻译为：
Ax(Student(x)^(EyCourse(y)^teaches(Tim,y)^takes(x,y))=>(EzCourse(z)^teaches(Jim,z)^takes(x,z)))
我是否正确翻译了它？
还是我在这里遗漏了任何逻辑？
解决方法
暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！
如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。
小编邮箱:dio#foxmail.com (将#修改为@）
