Associative
Subtraction Example
Subtract Reorder

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