SOLUTION: Topics In Contemporary Math Arguments Use truth tables to determine if each of the following arguments are valid or invalid. 2) If you are superstitious, then do not walk

Algebra.Com
Question 1190253: Topics In Contemporary Math
Arguments
Use truth tables to determine if each of the following arguments are valid or invalid.
2) If you are superstitious, then do not walk under a ladder.
If you do not walk under a ladder, then you are superstitious.
Therefore, you are superstitious and you do not walk under a ladder.

Found 2 solutions by Solver92311, math_tutor2020:
Answer by Solver92311(821)   (Show Source): You can put this solution on YOUR website!

S = "You are superstitious"

W = "You walk under a ladder"

~W = "You do not walk under a ladder" 


  S   W   ~W   S & ~W

  T   T    F     F
  T   F    T     T
  F   T    F     F
  F   F    T     F

S & ~W could be true or false.  S -> ~W and ~W -> S are both irrelevant to the conclusion.

The argument is invalid

John

My calculator said it, I believe it, that settles it

From
I > Ø
Answer by math_tutor2020(3817)   (Show Source): You can put this solution on YOUR website!

S = you are superstitious
W = you walk under a ladder
~S = you are not superstitious
~W = you do not walk under a ladder

Premise 1: S -> ~W
Premise 2: ~W -> S
Conclusion: S & ~W

Truth table:
Premise 1Premise 2Conclusion
SW~S~WS -> ~W~W -> ~SS & ~W
TTFFFTF
TFFTTTT
FTTFTTF
FFTTTFF
Notes:In the table above, the row marked in red highlights a case when we have all true premises but they lead to a false conclusion.

This directly leads to the fact the argument is invalid.
RELATED QUESTIONS

Topics In Contemporary Math Arguments Use truth tables to determine if each of the (answered by math_tutor2020)
Topics In Contemporary Math Arguments Use truth tables to determine if each of the (answered by Edwin McCravy)
Topics In Contemporary Math Arguments Use truth tables to determine if each of the (answered by Solver92311,math_tutor2020)
I'm stuck on the following question: Use truth tables to establish whether the following... (answered by solver91311)
Use truth tables to determine if the following arguments are valid. a) p-> (q V r) p (answered by solver91311)
MAT 145: Topics In Contemporary Math Argument Forms Identify the logical fallacy... (answered by Alan3354,ikleyn)
MAT 145: Topics In Contemporary Math Argument Forms Identify the logical fallacy... (answered by Alan3354,ikleyn)
INSTRUCTIONS: Determine whether the following symbolized arguments are valid or invalid... (answered by jim_thompson5910)
I've compared them to every rule and they don't make sense to me. INSTRUCTIONS:... (answered by solver91311)