PDC Homepage

Home » Products » Purchase

Teaching Philosophy

ONLINE FIRST

published on January 29, 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.

Usage and Metrics
Dimensions
PDC