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]
∴ p

Answer 1

I think you lost a symbol in the act of copy-paste

Answer 2

A) [(p → q) ∧ ~q]
∴ p

B)[(p → q) → q]
∴ p

C)[(p → q) ∧ ~q]
∴ ~p

D)[(p → q) ∧ q]
∴ p

Answer 3

okay, so how does it say we write the part that says "I am living at the lake" ?

Answer 4

ok

Answer 5

q

Answer 6

correct, so how do we write the statement
"I am not living at the lake."
?

Answer 7

i have no idea

Answer 8

the negation symbol (NOT) is the tilde: ~
so if if "I am living at the lake": q
then "I am NOT living at the lake": ?

Answer 9

[(p → q) ∧ ~q]
∴ ~p

Answer 10

???

Answer 11

yes

Answer 12

good job