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