Determine if the argument is valid or invalid. Give a reason to justify answer.
If it is cold, then you need a coat.
You do not need a coat.
∴ It is not cold.
Still Need Help?
Join the QuestionCove community and study together with friends!
Sign Up
OpenStudy (kt7779):
invalid
OpenStudy (zugzwang):
It's actually valid.
OpenStudy (anonymous):
valid
OpenStudy (kt7779):
oh
OpenStudy (zugzwang):
TYPO lol
if p then q
not q
therefore not p
THIS is the valid one, sorry
Still Need Help?
Join the QuestionCove community and study together with friends!
Sign Up
OpenStudy (zugzwang):
Modus Tollens*
OpenStudy (needhelpp101):
thanks Guys :)
OpenStudy (kt7779):
yep
OpenStudy (zugzwang):
okay, first, we start with
p --> q
and
~q
right?
OpenStudy (needhelpp101):
yeah
Still Need Help?
Join the QuestionCove community and study together with friends!
Sign Up
OpenStudy (zugzwang):
Well, what does it mean if
p implies q?
It means either p is false, or q is true, right?
Because if p is not false, or p is true, it automatically implies q is true.
OpenStudy (needhelpp101):
yeah
OpenStudy (zugzwang):
So p is false or q is true.
At least one of these must be true, right?
OpenStudy (zugzwang):
But you also have the assumption
q is false
(You do not need a coat)
OpenStudy (needhelpp101):
yep
Still Need Help?
Join the QuestionCove community and study together with friends!
Sign Up
OpenStudy (zugzwang):
p is false OR q is true.
At lease one of these statements is true, and it's NOT the second statement, because we assumed q is false.
Then it must be the case that the first statement is true (p is false)
or (It is not cold)