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