Editor de provas do Sistema Heráclito: Ferramenta de apoio ao Ensino da Dedução Natural na Lógica Proposicional

Resumo

O presente artigo tem como objetivo apresentar o editor de provas do sistema Heráclito. O Heráclito é um Sistema Tutor Inteligente (STI) voltado para o ensino de lógica proposicional para alunos de graduação em Computação. Seu editor de provas tem como principal funcionalidade auxiliar na elaboração de provas de argumentos formais por meio das regras da Dedução Natural. Sua atual versão de interface foi desenvolvida utilizando a técnica de Test Driven Development (TDD) e seu acesso é feito via Web Browser, de forma a tornar a ferramenta adaptativa, podendo ser acessada através de computadores, tablets, celulares e até mesmo SmartTVs.