Proof: Sum Equation

Let's prove the following theorem:

Proof:

Proof Table

#	Claim	Reason
1	a + c = d + (b ⋅ (-1))	if (a + b) + c = d, then a + c = d + (b ⋅ (-1)) (Sum Equation Pre 3)
2	d - b = d + (b ⋅ (-1))	d - b = d + (b ⋅ (-1)) (Subtraction Property)
3	a + c = d - b	if d - b = d + (b ⋅ (-1)) and a + c = d + (b ⋅ (-1)), then a + c = d - b (Transitive Property of Equality Variation 1)

Comments

Please log in to add comments