Proof: Divide Each Side

Let's prove the following theorem:

if the following are true:
  • a ⋅ b = c
  • not (b = 0)

then a = c / b

Proof:

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

Given
1 a ⋅ b = c
2 not (b = 0)
Proof Table
# Claim Reason
1 (a ⋅ b) / b = c / b if a ⋅ b = c, then (a ⋅ b) / b = c / b
2 (a ⋅ b) / b = a if not (b = 0), then (a ⋅ b) / b = a
3 a = c / b if (a ⋅ b) / b = c / b and (a ⋅ b) / b = a, then a = c / b

Comments

Please log in to add comments