Abstract

The truth table method, natural deduction, and the truth tree method, the three validity proving methods standardly taught in an introductory logic course, are too clumsy for the battlefield of real-life. The “short truth table” test is handy at times, but it stumbles at many other times. In this paper, we set up a general method that can beat all the methods mentioned above in a contest of speed. Furthermore, the procedure can be step-by-step paraphrased in a natural language, so that, unlike the other methods, a real-life logical problem can be analyzed and explained in a real-life language too.