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