Let's prove the following theorem:

if the following are true:

then a ⋅ b = x ⋅ y

Given

1	a = x
2	b = y

Proof Table

#	Claim	Reason
1	a ⋅ b = x ⋅ b	if a = x, then a ⋅ b = x ⋅ b (Substitution)
2	x ⋅ b = x ⋅ y	if b = y, then x ⋅ b = x ⋅ y (Substitution)
3	a ⋅ b = x ⋅ y	if a ⋅ b = x ⋅ b and x ⋅ b = x ⋅ y, then a ⋅ b = x ⋅ y (Transitive Property of Equality)

Next Lesson

Please log in to add comments