Gentzen-Prawitz Natural Deduction as a Teaching Tool
classification
💻 cs.LO
keywords
teachingdeductiongentzen-prawitznaturalreasoningalgebraalternativeapproach
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.