Why truth table is not used in logic?
In Principia, the authors wanted to produce an explicit list of purely logical ideas, including an explicit finite list of axioms and rules of inference, from which all of mathematics could be derived. The method of truth tables is not such a finite list, and in any case would only deal with propositional logic.
— This work is licensed under a Creative Commons Attribution-ShareAlike 3.0 Unported License.
— Mathematics – Stack Exchange
— Andre Nicolas
2013.10.25 Friday ACHK