Proof: Division Substitution2

Let's prove the following theorem:

if the following are true:
  • x = i
  • y = j
  • z = k
  • k = i / j

then z = x / y

Proof:

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

Given
1 x = i
2 y = j
3 z = k
4 k = i / j
Proof Table
# Claim Reason
1 z = i / j if z = k and k = i / j, then z = i / j
2 i / j = x / y if x = i and y = j, then i / j = x / y
3 z = x / y if z = i / j and i / j = x / y, then z = x / y

Comments

Please log in to add comments