The conversation between human and AI assistant.
How do I prove If a > 0 then -a < 0?
What does this mean for the proof?
We can see that if a is positive or zero, then -a cannot be non-positive or zero. Therefore, the assumption that -a >= 0 is false. This means that -a must be negative, and the original statement is true.