Teaching natural deduction to improve text argumentation analysis in engineering students

Teaching engineering students courses such as computer science theory, automata theory and discrete mathematics took us to realize that introducing basic notions of logic, especially following Gentzen’s natural deduction approach [6], to students in their first year, brought a benefit in the ability of those students to recover the structure of the arguments presented in text documents, cartoons and newspaper articles. In this document we propose that teaching logic help the students to better justify their arguments, enhance their reasoning, to better express their ideas and will help them in general to be more consistent in their presentations and proposals.

• Type: Conference
• Year: 2007
• Where: LANMR
• Authors: Rogelio Dávila, Sara C. Hernández, Juan F. Corona
• Keywords: Automata Theory, Engineering Students Courses, Gentzen’s Natural Deduction, LANMR 2007, Logical Reasoning