$$x>0\implies-x<0$$
I thought about using the axioms of multiplication with $x\cdot (-1) = -x$
but I am kind of stuck there.
$$x>0\implies-x<0$$
I thought about using the axioms of multiplication with $x\cdot (-1) = -x$
but I am kind of stuck there.
Copyright © 2021 JogjaFile Inc.
$If x>0 then 0=-x+x>-x+0 so that -x<0. If x<0 then 0=-x+x<-x+0 so that -x>0$