Volume 42, Issue 1, March 2019
Jesse Fitts, David Beisecker
Two-Sided Trees for Sentential Logic, Predicate Logic, and Sentential Modal Logic
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.