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