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