Logic 公理证明

根据公理

亨利有一辆自行车 每个自行车车主都喜欢赛车 喜欢赛车的人都不会买摩托车。 不是亨利就是鲍勃买了一辆摩托车，名叫比尔 鲍勃买了摩托车吗

这是一个家庭作业问题；这似乎太简单了，所以我只想检查一下，以确保我的逻辑是正确的

既然亨利或鲍勃买了一辆摩托车，既然亨利有一辆自行车，因此喜欢赛车，因此不能买摩托车，那么鲍勃一定是买这辆摩托车的人

我的逻辑和答案正确吗？

图例：

Owns a bike === A
Loves racing === B
Buys a skooter === C

重新表述逻辑条件：

Henry is A
A => B
B => Not(C)
Henry or Bob is C

计算：

Henry is A => Henry is B => Henry is Not(C) => Bob is C
Meaning: Bob bought a skooter

是的，你是对的。

---

如果这看起来很简单，那可能只是为了理解你应该使用的工具，让你为更复杂的问题做好准备。

投票以离题结束。我投票以离题结束这个问题，因为它是关于逻辑的，而不是直接关于编程或软件开发。对不起，我屏幕上的对比没有让我看到复选标记，所以我试图提高投票率，但我还没有足够的声誉