Proof: Subtract Number 3

Let's prove the following theorem:

if 180 + (90 ⋅ (-1)) = y, then 90 = y

Proof:

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

Given
1 180 + (90 ⋅ (-1)) = y
Proof Table
# Claim Reason
1 y = 180 + (90 ⋅ (-1)) if 180 + (90 ⋅ (-1)) = y, then y = 180 + (90 ⋅ (-1))
2 y = 90 if y = 180 + (90 ⋅ (-1)), then y = 90
3 90 = y if y = 90, then 90 = y

Comments

Please log in to add comments