Proof: Swap Terms 2 and 3

Let's prove the following theorem:

((a ⋅ b) ⋅ c) ⋅ d = ((a ⋅ c) ⋅ b) ⋅ d

Proof:

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

Proof Table
# Claim Reason
1 (a ⋅ b) ⋅ c = (a ⋅ c) ⋅ b (a ⋅ b) ⋅ c = (a ⋅ c) ⋅ b
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

Comments

Please log in to add comments