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