Proof: Apply Associative Add

Let's prove the following theorem:

if b + c = d, then (a + b) + c = a + d

Proof:

View as a tree | View dependent proofs | Try proving it

Given
1 b + c = d
Proof Table
# Claim Reason
1 (a + b) + c = a + (b + c) (a + b) + c = a + (b + c)
2 (a + b) + c = a + d if b + c = d and (a + b) + c = a + (b + c), then (a + b) + c = a + d

Comments

Please log in to add comments