Proof: Subtraction Example

Let's prove the following theorem:

if x = a - a, then x = 0

Proof:

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

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

Comments

Please log in to add comments