Proof: Subtraction Example

Let's prove the following theorem:

Proof:

Proof Table

#	Claim	Reason
1	a - a = 0	a - a = 0 (subtract_to_zero)
2	x = 0	if x = a - a and a - a = 0, then x = 0 (Transitive Property of Equality)

Comments

Please log in to add comments