公理证明

Question

给定公理

• 亨利有一辆自行车
• 每个车主都喜欢赛车
• 热爱赛车的人不会买滑板车。
• 亨利或鲍勃都买了一辆滑板车，名叫比尔

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

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