hali12
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
Delete
Share
This Question is Closed
TuringTest
Best Response
You've already chosen the best response.
0
I think you lost a symbol in the act of copy-paste
hali12
Best Response
You've already chosen the best response.
1
A) [(p → q) ∧ ~q]
∴ p
B)[(p → q) → q]
∴ p
C)[(p → q) ∧ ~q]
∴ ~p
D)[(p → q) ∧ q]
∴ p
TuringTest
Best Response
You've already chosen the best response.
0
okay, so how does it say we write the part that says "I am living at the lake" ?
hali12
Best Response
You've already chosen the best response.
1
ok
hali12
Best Response
You've already chosen the best response.
1
q
TuringTest
Best Response
You've already chosen the best response.
0
correct, so how do we write the statement
"I am not living at the lake."
?
hali12
Best Response
You've already chosen the best response.
1
i have no idea
TuringTest
Best Response
You've already chosen the best response.
0
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": ?
hali12
Best Response
You've already chosen the best response.
1
[(p → q) ∧ ~q]
∴ ~p
hali12
Best Response
You've already chosen the best response.
1
???
TuringTest
Best Response
You've already chosen the best response.
0
yes
TuringTest
Best Response
You've already chosen the best response.
0
good job