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.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call