Proof: Add Substitute Term

Let's prove the following theorem:

if the following are true:
  • x = y
  • (a + x) + c = f

then (a + y) + c = f

Proof:

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

Given
1 x = y
2 (a + x) + c = f
Proof Table
# Claim Reason
1 (a + x) + c = (a + y) + c if x = y, then (a + x) + c = (a + y) + c
2 (a + y) + c = f if (a + x) + c = (a + y) + c and (a + x) + c = f, then (a + y) + c = f

Comments

Please log in to add comments