2. Denote by -P the set of all negative integers, i.e., the set to which the number m belongs only in case there is a member n of P such that m = -n. If the number m is in -P and Z is a number such that m<Z, then Z is not in P.
If the conjecture is true, prove it. If it's false, prove that its false by counterexample or a proof by contradiction.
A negative integer proof is provided by counterexample. The solution is detailed and well presented.