%0 Journal Article
%T Gentzen-Prawitz Natural Deduction as a Teaching Tool
%A Jean-Fran£¿ois Monin
%A Cristian Ene
%A Micha£¿l P¨¦rin
%J Computer Science
%D 2009
%I arXiv
%X 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.
%U http://arxiv.org/abs/0907.3599v1