汤米、吉尔和旅行者属于SC俱乐部。SC俱乐部的每个成员要么是冲浪者，要么是自行车骑手，或者两者都是。没有自行车骑手喜欢下雨天，而所有冲浪者都喜欢晴天。吉尔喜欢汤米喜欢的一切，也喜欢汤米不喜欢的一切。汤米喜欢下雨天和晴天。
我想用一阶谓词逻辑来表示上述信息，以便能够将问题“谁是SC俱乐部的成员，并且是自行车骑手但不是冲浪者？”表示为一个谓词逻辑表达式。
我应该选择哪个一阶推理规则？是正向链、反向链，还是归结反驳？
回答：
首先，这个问题听起来像是直接从书中提出的。如果是这种情况，在你的问题中引用这本书可能会有所帮助。如果你在尝试解决后仍然真的卡住了，那就问问自己…
每种推理规则是如何工作的？它在一阶逻辑问题中找到解决方案起什么作用？一旦你明白了，要么…
- 你仍然不理解它，但你会有一个更好的问题来询问某个特定的技术
- 显而易见的答案会立即浮现
- 你会意识到哪些技术可以解决你的问题，然后选择其中一个
在你Stack Overflow上发布一个教科书式的问题之前，表明你已经花了一些时间试图解决这个问题，这会使其他人更愿意帮助你。你也会提出一些表明你缺乏概念性理解的问题，这是一个在这里提出问题的非常好的理由，而不是像这样听起来像“回答我的作业”的问题。
