7. 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

Question

7. 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

anonymous · Answer

Let p be it is July and q be living at the lake and that will lead you quickly to your answer

anonymous · Answer

The inequality sign with the point going up is "and".   ~ is "not".  The 3 dot arrangement is "therefore".

anonymous · Answer

Making sense?

anonymous · Answer

it is always C
in fact it even is C this time