TY  - GEN
T1  - Two-Sided Trees for Sentential Logic, Predicate Logic, and Sentential Modal Logic.
A2  - Collette, D.
UL  - https://tuklas.up.edu.ph/Record/UP-8027390931312556285
AB  - 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.
KW  - Philosophy : Periodicals.
KW  - Teaching : Periodicals.
ER  -