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) (Show Source):
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