Proof validity methods other than truth tables


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?


Posted 2014-10-27T19:29:21.407

Reputation: 507



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 :


Posted 2014-10-27T19:29:21.407

Reputation: 33 575

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 – 2014-10-27T21:09:09.360

@cpx - basically, Hurley use Natural Deduction : it's ok. He treats also predicate logic, with the "counterexample method" (like Tableau). – Mauro ALLEGRANZA – 2014-10-28T07:08:19.017