Two-Sided Trees for Sentential Logic, Predicate Logic, and Sentential Modal Logic
Jesse Fitts, David Beisecker · Teaching Philosophy · 2019
This paper will present two contributions to teaching introductory logic. The first contribution is an alternative tree proof method that differs from the traditional one-sided tree method. The second contribution combines this tree system with an index system to produce a user-friendly tree method for sentential modal logic.