逻辑思维序言

Question

所以基于这样的想法：

  

每个人都是凡人。

     

苏格拉底是一个男人。

     

所以，苏格拉底是凡人。

在Prolog：

man(socrates).
mortal(X) :- man(X).

我的问题是......与上述内容相同：

  

每个学生都喜欢上班。

     

这是工作。

     

因此，我喜欢这项工作。

我知道这是初学者的事情，我只是在这里遇到逻辑思维问题。

Answer 1

  

每个学生都喜欢上班。这是工作。因此，我喜欢这项工作。

这需要您是学生，而您没有声称。

由于您的三元组缺少逻辑链接，因此（至少）有两个选项可以完成它：

<强> 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.