Ask your own question, for FREE!
Mathematics 6 Online
OpenStudy (needhelpp101):

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.

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

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

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

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)

OpenStudy (needhelpp101):

ty Zug <3

OpenStudy (zugzwang):

anytime

Can't find your answer? Make a FREE account and ask your own questions, OR help others and earn volunteer hours!

Join our real-time social learning platform and learn together with your friends!
Can't find your answer? Make a FREE account and ask your own questions, OR help others and earn volunteer hours!

Join our real-time social learning platform and learn together with your friends!