Proof: Subtract Equation

Let's prove the following theorem:

if a + b = c, then a = c - b

Proof:

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

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

Comments

Please log in to add comments