Teaching natural deduction in the right order with Natural Deduction Planner
Computers and Society
2015-07-15 v1 Logic in Computer Science
Abstract
We describe a strategy-based approach to teaching natural deduction using a notation that emphasises the order in which deductions are constructed, together with a {\LaTeX} package and Java app to aid in the production of teaching resources and classroom demonstrations. Our approach is aimed at students with little exposure to mathematical method and has been developed while teaching undergraduate classes for philosophy students over the last ten years.
Cite
@article{arxiv.1507.03681,
title = {Teaching natural deduction in the right order with Natural Deduction Planner},
author = {Jeremy Seligman and Declan Thompson},
journal= {arXiv preprint arXiv:1507.03681},
year = {2015}
}
Comments
Proceedings of the Fourth International Conference on Tools for Teaching Logic (TTL2015), Rennes, France, June 9-12, 2015. Editors: M. Antonia Huertas, Jo\~ao Marcos, Mar\'ia Manzano, Sophie Pinchinat, Fran\c{c}ois Schwarzentruber