公理证明
Proof from Axioms
给定公理
- 亨利有一辆自行车
- 每个车主都喜欢赛车
- 没有热爱赛车的人会买滑板车。
- Henry 或 Bob 买了一辆滑板车，名字叫 Bill
Bob 买了滑板车吗？
这是一道作业题；这似乎太简单了，所以我只是想检查一下以确保我的逻辑正确。
既然 Henry 或 Bob 买了一辆滑板车，而且 Henry 有一辆自行车，因此喜欢赛车，因此买不起滑板车，那么 Bob 一定是买滑板车的人。
我的逻辑和答案是否正确？
图例：
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
所以是的 - 你是对的。
如果这看起来很容易，那可能只是为了了解您应该使用的工具，让您为更复杂的问题做好准备。
给定公理
- 亨利有一辆自行车
- 每个车主都喜欢赛车
- 没有热爱赛车的人会买滑板车。
- Henry 或 Bob 买了一辆滑板车，名字叫 Bill
Bob 买了滑板车吗？
这是一道作业题；这似乎太简单了，所以我只是想检查一下以确保我的逻辑正确。
既然 Henry 或 Bob 买了一辆滑板车，而且 Henry 有一辆自行车，因此喜欢赛车，因此买不起滑板车，那么 Bob 一定是买滑板车的人。
我的逻辑和答案是否正确？
图例：
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
所以是的 - 你是对的。 如果这看起来很容易，那可能只是为了了解您应该使用的工具，让您为更复杂的问题做好准备。