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

Comments

Please log in to add comments