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?

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