Proof: Zero Numerator Property Example

Let's prove the following theorem:

if the following are true:
  • x = 0 / y
  • not (y = 0)

then x = 0

Proof:

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

Given
1 x = 0 / y
2 not (y = 0)
Proof Table
# Claim Reason
1 0 / y = 0 if not (y = 0), then 0 / y = 0
2 x = 0 if x = 0 / y and 0 / y = 0, then x = 0

Comments

Please log in to add comments