Proof: Add Associative 2

Let's prove the following theorem:

Proof:

Proof Table

#	Claim	Reason
1	(a + b) + c = a + (b + c)	(a + b) + c = a + (b + c) (Associative Property of Addition)
2	b + c = c + b	b + c = c + b (Commutative Property of Addition)
3	a + (b + c) = a + (c + b)	if b + c = c + b, then a + (b + c) = a + (c + b) (Substitution)
4	(a + b) + c = a + (c + b)	if (a + b) + c = a + (b + c) and a + (b + c) = a + (c + b), then (a + b) + c = a + (c + b) (Transitive Property of Equality)
5	(a + c) + b = a + (c + b)	(a + c) + b = a + (c + b) (Associative Property of Addition)
6	(a + b) + c = (a + c) + b	if (a + b) + c = a + (c + b) and (a + c) + b = a + (c + b), then (a + b) + c = (a + c) + b (Transitive Property of Equality Variation 1)

Comments

Please log in to add comments