Proof: Reorder Terms 5
Let's prove the following theorem:
if the following are true:
- a = b + c
- c = d
then b + d = a
Proof:
Given
| 1 | a = b + c |
|---|---|
| 2 | c = d |
| # | Claim | Reason |
|---|---|---|
| 1 | b + c = a | if a = b + c, then b + c = a |
| 2 | b + d = a | if b + c = a and c = d, then b + d = a |
Comments
Please log in to add comments