Proof: Simplify4

Let's prove the following theorem:

Proof:

Proof Table

#	Claim	Reason
1	4 ⋅ 2 = 8	4 ⋅ 2 = 8 (Fixed Value Statement)
2	(x ⋅ 4) ⋅ 2 = x ⋅ (4 ⋅ 2)	(x ⋅ 4) ⋅ 2 = x ⋅ (4 ⋅ 2) (Associative Property of Multiplication)
3	x ⋅ (4 ⋅ 2) = x ⋅ 8	if 4 ⋅ 2 = 8, then x ⋅ (4 ⋅ 2) = x ⋅ 8 (Multiplicative Property of Equality Variation 1)
4	(x ⋅ 4) ⋅ 2 = x ⋅ 8	if x ⋅ (4 ⋅ 2) = x ⋅ 8 and (x ⋅ 4) ⋅ 2 = x ⋅ (4 ⋅ 2), then (x ⋅ 4) ⋅ 2 = x ⋅ 8 (Transitive Property of Equality)
5	((x ⋅ 4) ⋅ 2) - 4 = (x ⋅ 8) - 4	if (x ⋅ 4) ⋅ 2 = x ⋅ 8, then ((x ⋅ 4) ⋅ 2) - 4 = (x ⋅ 8) - 4 (Subtract From Both Sides Mirror)

Comments

Please log in to add comments