Proof: Zero Plus a 2

Let's prove the following theorem:

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

then a + b = e

Proof:

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

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

Comments

Please log in to add comments