Associative
Commutative Property Variation 1
Substitution 2
Add Associative

Proof: Add Associative

Let's prove the following theorem:

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

Proof:

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

Proof Table
# Claim Reason
1 ((a + b) + c) + d = (a + b) + (c + d) ((a + b) + c) + d = (a + b) + (c + d)
2 (a + b) + (c + d) = a + (b + (c + d)) (a + b) + (c + d) = a + (b + (c + d))
3 b + (c + d) = (b + c) + d b + (c + d) = (b + c) + d
4 (a + b) + (c + d) = a + ((b + c) + d) if (a + b) + (c + d) = a + (b + (c + d)) and b + (c + d) = (b + c) + d, then (a + b) + (c + d) = a + ((b + c) + d)
5 ((a + b) + c) + d = a + ((b + c) + d) if ((a + b) + c) + d = (a + b) + (c + d) and (a + b) + (c + d) = a + ((b + c) + d), then ((a + b) + c) + d = a + ((b + c) + d)
Previous Lesson

Comments

Please log in to add comments