Proof: Inequality Multiply by N1

Let's prove the following theorem:

if a < b, then a ⋅ (-1) > b ⋅ (-1)

Proof:

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

Given
1 a < b
Proof Table
# Claim Reason
1 -1 < 0 -1 < 0
2 a ⋅ (-1) > b ⋅ (-1) if -1 < 0 and a < b, then a ⋅ (-1) > b ⋅ (-1)

Comments

Please log in to add comments