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