Proof: Substitution 13
Let's prove the following theorem:
if the following are true:
- a = x
- b = x ⋅ y
then b = a ⋅ y
Proof:
Given
| 1 | a = x |
|---|---|
| 2 | b = x ⋅ y |
| # | Claim | Reason |
|---|---|---|
| 1 | a ⋅ y = x ⋅ y | if a = x, then a ⋅ y = x ⋅ y |
| 2 | b = a ⋅ y | if b = x ⋅ y and a ⋅ y = x ⋅ y, then b = a ⋅ y |
Comments
Please log in to add comments