Proof: Term 2 Substitution

Let's prove the following theorem:

if the following are true:
  • a = b + c
  • c = d

then a = b + d

Proof:

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

Given
1 a = b + c
2 c = d
Proof Table
# Claim Reason
1 a = c + b if a = b + c, then a = c + b
2 c + b = d + b if c = d, then c + b = d + b
3 a = d + b if a = c + b and c + b = d + b, then a = d + b
4 a = b + d if a = d + b, then a = b + d

Comments

Please log in to add comments