Proof: Subtract Both Sides Pre 2

Let's prove the following theorem:

b + (c + (c ⋅ (-1))) = b

Proof:

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

Proof Table
# Claim Reason
1 b + (c + (c ⋅ (-1))) = b + 0 b + (c + (c ⋅ (-1))) = b + 0
2 b + 0 = b b + 0 = b
3 b + (c + (c ⋅ (-1))) = b if b + (c + (c ⋅ (-1))) = b + 0 and b + 0 = b, then b + (c + (c ⋅ (-1))) = b

Comments

Please log in to add comments