... are confusing instance of negation with contrapositive. Contrapositive is the rephrasing ... gt; /P), but contrapositive is not negation of the original statement ... Each of your 1) and 2) represents an instance ... 2) is the correct negation of the necessary part ...