1

I have read or heard some time ago that truth tables cannot be used to validate arguments which involves the use of quantifiers i.e. in predicate or quantificational logic where you can find statements like "All men are animals" or "No man is animal" along with conditional if statements.

Are there more accurate or similar method(s) out there like truth tables?

1

For predicate logic we have to use proof procedures, like :

but there is no decision procedure like truth table for proposistional logic.

You can see some textbook :

  • I had previously read this book where I studied predicate logic. So, if I just need to know the proof validity method should I really need to start with mathematical logic? – cpx Oct 27 '14 at 21:09
  • @cpx - basically, Hurley use Natural Deduction : it's ok. He treats also predicate logic, with the "counterexample method" (like Tableau). – Mauro ALLEGRANZA Oct 28 '14 at 7:08

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.