SOLUTION: Is this argument valid or invalid? Can you help me construct a truth table? Thank you! P↔W, -(P&W) ├ -(P v W)

Algebra ->  Proofs -> SOLUTION: Is this argument valid or invalid? Can you help me construct a truth table? Thank you! P↔W, -(P&W) ├ -(P v W)      Log On


   

Question 980258: Is this argument valid or invalid? Can you help me construct a truth table? Thank you!
P↔W, -(P&W) ├ -(P v W)
Answer by jim_thompson5910(35256) About Me  (Show Source):
You can put this solution on YOUR website!
Premise Premise Conclusion
P W P & W P v W P <--> W ~(P & W) ~(P v W)
T T T T T F F
T F F T F T F
F T F T F T F
F F F F T T T


There is no row that has all true premises with a false conclusion. So this argument is valid. An invalid argument only happens when all premises are true leading to a false conclusion.