Proof: Subtraction Example

Let's prove the following theorem:

Proof:

Proof Table

#	Claim	Reason
1	a - b = a + (b ⋅ (-1))	a - b = a + (b ⋅ (-1)) (Subtraction Property)
2	a + (b ⋅ (-1)) = a - b	if a - b = a + (b ⋅ (-1)), then a + (b ⋅ (-1)) = a - b (Symmetric Property of Equality)

Comments

Please log in to add comments