Proof: Apply Associative Multiply

Let's prove the following theorem:

Proof:

Proof Table

#	Claim	Reason
1	(a ⋅ b) ⋅ c = a ⋅ (b ⋅ c)	(a ⋅ b) ⋅ c = a ⋅ (b ⋅ c) (Associative Property of Multiplication)
2	a ⋅ (b ⋅ c) = a ⋅ d	if b ⋅ c = d, then a ⋅ (b ⋅ c) = a ⋅ d (Multiplicative Property of Equality Variation 1)
3	(a ⋅ b) ⋅ c = a ⋅ d	if (a ⋅ b) ⋅ c = a ⋅ (b ⋅ c) and a ⋅ (b ⋅ c) = a ⋅ d, then (a ⋅ b) ⋅ c = a ⋅ d (Transitive Property of Equality)

Comments

Please log in to add comments