Proof: Substitution Example 10

Let's prove the following theorem:

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

then a + d = c

Proof:

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

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

Comments

Please log in to add comments