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