Proof: Term 2 Substitution
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 | a = c + b | if a = b + c, then a = c + b |
| 2 | c + b = d + b | if c = d, then c + b = d + b |
| 3 | a = d + b | if a = c + b and c + b = d + b, then a = d + b |
| 4 | a = b + d | if a = d + b, then a = b + d |
Comments
Please log in to add comments