The non-P in mathematical proposition is the negation of proposition, which only negates the conclusion of proposition.

The conditions and conclusions of negating the original proposition.

For example: "If a>0. Then A+B > The negation of the proposition "0" is "If a>0, then a+b≤0" and there is no proposition "If a≤0, a+b≤0"