Proof: Neg Nine Plus Nine Plus X

Let's prove the following theorem:

Proof:

Proof Table

#	Claim	Reason
1	((-9) + 9) + x = x	((-9) + 9) + x = x (neg_nine_plus_nine_plus_x_pre_2)
2	((-9) + 9) + x = (-9) + (9 + x)	((-9) + 9) + x = (-9) + (9 + x) (Associative Property of Addition)
3	(-9) + (9 + x) = x	if ((-9) + 9) + x = (-9) + (9 + x) and ((-9) + 9) + x = x, then (-9) + (9 + x) = x (Transitive Property of Equality Variation 2)

Comments

Please log in to add comments