If p Is true and q is true, then ~p-> ~ q is true.

1) always
2) sometimes
3) never