Gentzen-Prawitz Natural Deduction as a Teaching Tool
Jean-Fran\c{c}ois Monin (VERIMAG - Imag), Cristian Ene (VERIMAG -, Imag), Micha\"el P\'erin (VERIMAG - Imag)
TL;DR
This paper presents a four-year study on teaching reasoning to undergraduates using Gentzen-Prawitz natural deduction, demonstrating its effectiveness as an alternative to Boolean algebra, especially for computer science students.
Contribution
It introduces a pedagogical approach using Gentzen-Prawitz natural deduction for teaching reasoning, offering an alternative to Boolean algebra in computer science education.
Findings
Effective in teaching reasoning to undergraduates
Suitable for students with varying reasoning skills
Provides a practical alternative to Boolean algebra
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsLogic, programming, and type systems · Computability, Logic, AI Algorithms · Artificial Intelligence in Games