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