Two-Sided Trees for Sentential Logic, Predicate Logic and Sentential Modal Logic
First page number:
Last page number:
This paper will present two contributions to teaching introductory logic. The first contribution is an alternative tree proof methods 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
Two-Sided Trees for Sentential Logic, Predicate Logic and Sentential Modal Logic.