Proof: Divide Substitute
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 / c = d / c | if b = d, then b / c = d / c |
| 2 | a = d / c | if a = b / c and b / c = d / c, then a = d / c |
Comments
Please log in to add comments