... negation with contrapositive. Contrapositive is the rephrasing of a conditional in terms ... /Q --> /P), but contrapositive is not negation of the ... necessary part of the conditional statement of rule 2. ... necessary part of the conditional statement of rule 2, ...