Question

Given the conditional statement ~p → q, which statement is logically equivalent?

p → ~q
~p → ~q
~q → ~p
~q → p

Answer 1

~q → p

Reason: (~p) → q is equivalent to its contrapositive ~q → ~~p, i.e. ~q → p. (Also (~p) → q ≡ p ∨ q.)