Proof: Substitution 16 Pre

Let's prove the following theorem:

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

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 + (a + b) (x + a) + b = x + (a + b)
2 (x + a) + b = x + c if a + b = c and (x + a) + b = x + (a + b), then (x + a) + b = x + c

Comments

Please log in to add comments