Transitive Property of Equality Variation 1

Add Associative 2

Swap B And C

Multiplicative Property of Equality Variation 1

Commutative Property Example 2

Commutative Property Variation 1

Substitution 2

Substitution 8

Substitution Example 10

Additive Inverse 2

Substitution 6

Zero Plus a

Associative

Add Associative

Square

Proof: Swap B And C

Let's prove the following theorem:

((a + b) + c) + d = ((a + c) + b) + d

Proof:

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

Proof Table

#	Claim	Reason
1	(a + b) + c = (a + c) + b	(a + b) + c = (a + c) + b (add_associative_2)
2	((a + b) + c) + d = ((a + c) + b) + d	if (a + b) + c = (a + c) + b, then ((a + b) + c) + d = ((a + c) + b) + d (Additive Property of Equality)

Previous Lesson Next Lesson

Comments

Please log in to add comments