Distributive Property 2
Equality Example
Distributive Property 3
Multiplicative Identity 2
Distributive Property 4
Multiplicative Property of Equality Variation 1
Addition Theorem
Substitution 2
Substitution 16 Pre
Substitution 16
Transitive Property of Equality Variation 2
Sum Squared Theorem

Proof: Substitution 16

Let's prove the following theorem:

if a + b = c, then ((x + a) + b) + y = (x + c) + y

Proof:

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

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

Comments

Please log in to add comments