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...
| अन्य लेखक: | |
|---|---|
| स्वरूप: | Analytics |
| विषय: |