I need to prove that $mn < 0$ if and only if $m > 0$ and $n < 0$ or $m < 0$ and $n > 0$.
So I need to prove two cases: 1. If $m < 0$ and $n > 0$ or, in the alternative, if $m > 0$ and $n < 0$, then $mn < 0$. 2. If $mn < 0$, then $m < 0$ and $n > 0$ or else $m > 0$ and $n < 0$.
So far I have,
By axiom O.1 (from the study guide), if $m$ and $n$ are positive , then $mn > 0$, and by corollary 1.14 (study guide), if $m$ and $n$ are negative, then $(-m)(-n) > 0$. Hence, if $m$ is negative and $n$ is positive or $m$ is positive and $n$ is negative, then $(-m)n < 0$ and $m(-n) < 0$.
I am not sure if this I am on the right track or not, but at this point I am just completely stumped. Any help is welcome.
Thanks,
Tony