Substitution 2
Substitution 16 Pre
Substitution 16

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

Comments

Please log in to add comments