Look at the argument below. Which of the following symbolic statements shows the set-up used to find the validity of the argument? If it is July, then I am living at the lake.
I am not living at the lake.
Therefore, it is not July.

p: It is July.
q: I am living at the lake.
A.
[(p → q) ∧ ~q]
∴ p
B.
[(p → q) → q]
∴ p
C.
[(p → q) ∧ ~q]
∴ ~p
D.
[(p → q) ∧ q]
∴ p