Proof: Transitive 2
Let's prove the following theorem:
if x = ((b ⋅ 2) + (a ⋅ 2)) / 2, then x = b + a
Proof:
Given
| 1 | x = ((b ⋅ 2) + (a ⋅ 2)) / 2 |
|---|
| # | Claim | Reason |
|---|---|---|
| 1 | ((b ⋅ 2) + (a ⋅ 2)) / 2 = b + a | ((b ⋅ 2) + (a ⋅ 2)) / 2 = b + a |
| 2 | x = b + a | if x = ((b ⋅ 2) + (a ⋅ 2)) / 2 and ((b ⋅ 2) + (a ⋅ 2)) / 2 = b + a, then x = b + a |
Comments
Please log in to add comments