Proof: Swap Terms 2 and 3

Let's prove the following theorem:

Proof:

Proof Table

#	Claim	Reason
1	(a ⋅ b) ⋅ c = (a ⋅ c) ⋅ b	(a ⋅ b) ⋅ c = (a ⋅ c) ⋅ b (Swap 2 and 3 Theorem)
2	((a ⋅ b) ⋅ c) ⋅ d = ((a ⋅ c) ⋅ b) ⋅ d	if (a ⋅ b) ⋅ c = (a ⋅ c) ⋅ b, then ((a ⋅ b) ⋅ c) ⋅ d = ((a ⋅ c) ⋅ b) ⋅ d (Multiplicative Property of Equality)

Comments

Please log in to add comments