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: Commutative Property Example 2

Let's prove the following theorem:

if a + b = c, then b + a = c

Proof:

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

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

Comments

Please log in to add comments