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 Answer 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
    Commented Oct 27, 2014 at 21:09
  • @cpx - basically, Hurley use Natural Deduction : it's ok. He treats also predicate logic, with the "counterexample method" (like Tableau). Commented Oct 28, 2014 at 7:08

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .