【发布时间】：2015-09-28 19:15:04
【问题描述】：
所以基于这样的想法：
每个人都会死。
苏格拉底是个男人。
所以，苏格拉底是必死的。
在序言中：
man(socrates).
mortal(X) :- man(X).
我的问题是……什么是上面的等价物：
每个学生都热爱工作。
这是工作。
因此，我喜欢这项工作。
我知道这是初学者的东西，我只是在这里的逻辑思维有问题。
【问题讨论】：
【发布时间】：2015-09-28 19:15:04
【问题描述】：
每个学生都热爱工作。这是工作。因此，我喜欢这项工作。
这需要你是一名学生这一事实，而你没有声称这一事实。
由于您的三元组缺少逻辑链接，因此（至少）有两个选项可以完成它：
1.
Every student loves work.
I am a student.
Therefore I love work.
2.
Every student loves work.
This is work.
Therefore every student loves it.
【讨论】：