Let be two if-then statements. If is sufficient for , then:
Athe contrapositive of is sufficient for the contrapositive of ;
Bthe negation of is insufficient for the negation of ;
Cthe contrapositive of is necessary for the negation of ;
Dif is sufficient for , then the negation of is necessary and sufficient for the negation of ;
Eif is unnecessary for , then is sufficient for .