## hali12 3 years ago 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

1. TuringTest

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

2. hali12

A) [(p → q) ∧ ~q] ∴ p B)[(p → q) → q] ∴ p C)[(p → q) ∧ ~q] ∴ ~p D)[(p → q) ∧ q] ∴ p

3. TuringTest

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

4. hali12

ok

5. hali12

q

6. TuringTest

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

7. hali12

i have no idea

8. TuringTest

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": ?

9. hali12

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

10. hali12

???

11. TuringTest

yes

12. TuringTest

good job