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