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