Árboles de gentzen como alternativa a las tablas de verdad para el análisis de argumentos

Resumen

Los árboles de Gentzen constituyen un método que es más corto que el de las tablas de verdad en el análisis de argumentos y que tiene una ventaja adicional, de ser puramente sintáctico ya que no es necesario trabajar con la verdad o falsedad de las proposiciones porque sencillamente se hacen operatorias algebraicas con los símbolos que las representan. Mediante los árboles de Gentzen es posible determinar si un argumento es correcto o incorrecto y también si un conjunto de proposiciones es consistente o inconsistente. En los currículos de matemáticas para la educación media solamente se considera el análisis de argumentos usando las tablas de verdad, las cuales se vuelven inmanejables cuando el número de proposiciones simples es alto. Se pretende que los docentes analicen la viabilidad de este método como una alternativa sintáctica frente a la operatoria mecánica de las tablas de verdad.