汤米，吉尔和旅行者都属于Sc俱乐部。每个sc俱乐部的成员都是冲浪者或骑自行车的人或两者兼而有。没有骑自行车的人喜欢下雨天，所有的冲浪者都喜欢阳光灿烂的日子。就像汤米一样喜欢和喜欢汤姆不喜欢的东西。托米喜欢下雨天和阳光灿烂的日子。
我想以一种方式在一阶谓词逻辑中表示上述信息，以便我可以表示“谁是SC俱乐部的成员谁是自行车骑手但不是冲浪者？”作为谓词逻辑表达式。
我应该采用哪种一阶推理规则来进行链接，反向链接或解析反驳。??
答案 0 :(得分：2)
首先，这个问题听起来好像是直接从书中提出来的。如果是这种情况，如果您在问题中引用该书，则可能会有所帮助。如果你在尝试解决之后真的陷入困境，那就问问自己......
每个推理规则如何工作，以及它在一阶逻辑问题中找到解决方案的目的是什么？一旦你知道了，要么......
在stackoverflow上发布书籍样式问题之前，您已经花了一些时间尝试找出问题，这会让其他人更有可能帮助您。你也会有一些问题表明你缺乏概念上的理解，这是在这里发表问题的一个很好的理由，而不是“回答我的作业”这样的问题。