Proof: Subtract Zero Example 3

Let's prove the following theorem:

if the following are true:
  • b = 0
  • a = 0

then b - a = 0

Proof:

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

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

Comments

Please log in to add comments