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