Two-Sided Trees for Sentential Logic, Predicate Logic and Sentential Modal Logic
Document Type
Article
Publication Date
1-29-2019
Publication Title
Teaching Philosophy
First page number:
1
Last page number:
16
Abstract
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
Disciplines
Philosophy
Language
English
Repository Citation
Fitts, J.,
Beisecker, D.
(2019).
Two-Sided Trees for Sentential Logic, Predicate Logic and Sentential Modal Logic.
Teaching Philosophy
1-16.
http://dx.doi.org/10.5840/teachphil2019116101