Transitive Property of Equality Variation 1
Add Associative 2
Associative
Rearrange Sum Equal 2
Rearrange Sum Equal 3
Transitive Property Application 1
Transitive Property Application 4
Transitive Property Application 5
Equation a
Transitive Property of Equality Variation 2
Zero Plus a
Equation

Proof: Rearrange Sum Equal 2

Let's prove the following theorem:

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

Proof:

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

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

Comments

Please log in to add comments