Proof: Subtraction Example

Let's prove the following theorem:

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

Proof:

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

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

Comments

Please log in to add comments