Proof: Substitute 6

Let's prove the following theorem:

if the following are true:
  • a = ((b + c) + d) + e
  • d + e = f

then a = (b + c) + f

Proof:

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

Given
1 a = ((b + c) + d) + e
2 d + e = f
Proof Table
# Claim Reason
1 ((b + c) + d) + e = (b + c) + (d + e) ((b + c) + d) + e = (b + c) + (d + e)
2 a = (b + c) + (d + e) if a = ((b + c) + d) + e and ((b + c) + d) + e = (b + c) + (d + e), then a = (b + c) + (d + e)
3 a = (b + c) + f if a = (b + c) + (d + e) and d + e = f, then a = (b + c) + f

Comments

Please log in to add comments