SOLUTION: I'm stuck on the following question: Use truth tables to establish whether the following arguments are valid. If any arguments are not valid, give counterexamples to them. If any a

Algebra ->  Conjunction -> SOLUTION: I'm stuck on the following question: Use truth tables to establish whether the following arguments are valid. If any arguments are not valid, give counterexamples to them. If any a      Log On


   

Question 972808: I'm stuck on the following question: Use truth tables to establish whether the following arguments are valid. If any arguments are not valid, give counterexamples to them. If any arguments are valid, explain carefully why they are valid.
e.g. P or Q, not P, Q
or not (P or not Q) P <> Q
I'm not sure how to provide counterexamples or explain how an argument is valid.
Answer by solver91311(24713) About Me  (Show Source):
You can put this solution on YOUR website!


I assume that your first example is:







This is valid by disjunctive syllogism.

I'm not sure what you mean by your second example. If by "<>" you mean to indicate the biconditional (you should represent this by using "<->" or "iff"), then the argument is invalid. Assume both P and Q are true, then the bi-conditional is true, but is false. Hence is a possible counterexample. If you meant something different than when you wrote P<>Q, then you are on your own.

John

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