Associative
Distributive Property 2
Commutative Property Variation 1
Substitution 2
Substitution 6
Distributive Property 3
Distributive Property 5
Transitive Property of Equality Variation 2
Subtract Commutative
Commutative Property Example 2
Substitution 8
Subtract Commutative 2
Multiply by 0
Zero Plus a
Simplify 4
Multiplicative Identity 3
Simplify 5
Simplify If

Proof: Associative

Let's prove the following theorem:

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

Proof:

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

Proof Table
# Claim Reason
1 (a + b) + c = a + (b + c) (a + b) + c = a + (b + c)
2 a + (b + c) = (a + b) + c if (a + b) + c = a + (b + c), then a + (b + c) = (a + b) + c
Next Lesson

Comments

Please log in to add comments