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