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