Proof: Substitute 11

Let's prove the following theorem:

if the following are true:
  • a = b
  • f = c - a

then f = c - b

Proof:

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

Given
1 a = b
2 f = c - a
Proof Table
# Claim Reason
1 c - a = c - b if a = b, then c - a = c - b
2 f = c - b if f = c - a and c - a = c - b, then f = c - b

Comments

Please log in to add comments