If P implies Q, an equivalent statement is
(A) Q implies P
(B) Q is a necessary condition for P
(C) P is a necessary condition for Q
(D) Not P implies Q
(E) Not P implies not Q
If P implies Q, an equivalent statement is
(A) Q implies P
(B) Q is a necessary condition for P
(C) P is a necessary condition for Q
(D) Not P implies Q
(E) Not P implies not Q