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