Two-Sided Trees for Sentential Logic, Predicate Logic, and Sentential Modal Logic

Teaching Philosophy 42 (1):41-56 (2019)
  Copy   BIBTEX

Abstract

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.

Author Profiles

Dave Beisecker
University of Nevada, Las Vegas
Jesse Fitts
University of Nevada, Las Vegas

Analytics

Added to PP
2019-03-22

Downloads
642 (#22,008)

6 months
126 (#23,486)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?