Resumen

Toda estudiante en educación media sabe las cuatro operaciones aritméticas. Pero seguramente ignora las cuatro operaciones lógicas y por ello, la posibilidad de ampliar su competencia en matemáticas. El enfoque que expondremos en este ensayo es que es un imposible teórico y un error didáctico separar la actividad lógica del contexto matemático; de allí, la necesidad del razonamiento lógico, que es un sistema de conocimiento en el que concurren el lenguaje, las reglas de inferencia y el contexto. Para llevar a cabo lo que nos proponemos mostrar, usaremos el lenguaje del cálculo proposicional; las reglas de inferencia de la deducción natural de Gentzen y el contexto es el que provee las estructuras matemáticas y la lengua natural. El entendimiento de una conveniente combinación de representaciones de nuestras operaciones mentales mediante el método conocido como deducción natural, nos puede hacer más competentes en el arte de razonar lógicamente y en la comprensión de nuestra propia lengua.