公理证明

Question

鉴于公理

• 亨利拥有一辆自行车
• 每个自行车车主都喜欢赛车
• 没有喜欢赛车的人会购买滑板车。
• 亨利或鲍勃买了一辆名叫比尔的小型摩托车

鲍勃买了踏板车吗？

这是一个家庭作业问题;这似乎太容易了，所以我只想检查以确保我的逻辑是正确的。

既然Henry或Bob买了一辆踏板车，而且由于Henry拥有一辆自行车，因此喜欢赛车，因此无法购买踏板车，那么Bob一定是买踏板车的人。

我的逻辑和答案是否正确？

Answer 1

图例：

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

是的 - 你是对的。 如果看起来很简单，可能只是了解您应该使用的工具，以便为更复杂的问题做好准备。