Sistema de Suporte Pedagógico para Resolução de Problemas de Construção de Tabelas-Verdade na Lógica Proposicional

Resumo

Logical reasoning is one of the fundamental tools for humans, it is important to structure thinking for problem solving. At the university, students who are entering courses in Computer Science and Information Systems need the discipline of Logic to develop their logical analysis and problem solving skills. The EVTV tool proposed in this work helps students to solve truth tables problems. This tool offers a friendly interface for the resolution of this kind of problems and exercises that can be integrated with an intelligent tutoring system of propositional logic. This work shows the technical characteristics and features of the tool, and its differentiation from other propositional logic learning tools. The work also present the results of experiments and tests conducted with the tool.