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