Proof: Zero Plus a Plus B

Let's prove the following theorem:

(0 + a) + b = a + b

Proof:

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

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

Comments

Please log in to add comments