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