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