Proof: Add Term to Both Sides 4

Let's prove the following theorem:

if (a + b) + c = d, then b + c = d + (a ⋅ (-1))

Proof:

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

Given
1 (a + 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 + b) + c if (a + b) + c = a + (b + c), then a + (b + c) = (a + b) + c
3 a + (b + c) = d if a + (b + c) = (a + b) + c and (a + b) + c = d, then a + (b + c) = d
4 b + c = d + (a ⋅ (-1)) if a + (b + c) = d, then b + c = d + (a ⋅ (-1))

Comments

Please log in to add comments