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