Question

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]