Proof: Subtract Zero Example 2

Let's prove the following theorem:

if f = a - 0, then f = a

Proof:

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

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

Comments

Please log in to add comments