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