Gentzen-Prawitz Natural Deduction as a Teaching Tool
Abstract
We report a four-years experiment in teaching reasoning to undergraduate students, ranging from weak to gifted, using Gentzen-Prawitz's style natural deduction. We argue that this pedagogical approach is a good alternative to the use of Boolean algebra for teaching reasoning, especially for computer scientists and formal methods practionners.
- Publication:
-
arXiv e-prints
- Pub Date:
- July 2009
- DOI:
- arXiv:
- arXiv:0907.3599
- Bibcode:
- 2009arXiv0907.3599M
- Keywords:
-
- Computer Science - Logic in Computer Science