Resumo:
A Lógica é uma ciência de índole matemática que está fortemente ligada à Filosofia, cuidando das leis do raciocínio, ou do pensar correto, sendo, portanto, um instrumento do pensar. Assim o aprendizado da lógica se faz necessário para garantir que nossos pensamentos se realizem de forma correta a fim de produzir conhecimentos verdadeiros. A lógica estuda os princípios e métodos usados para distinguir o raciocínio correto do incorreto. Desta forma, a Lógica é uma disciplina fundamental para os cursos acadêmicos de Ciência da Computação. No entanto, uma persistência de altos níveis de reprovação ou desistências prematuras mostra que há um amplo espaço para melhorar o processo de ensino desta disciplina. Nesse contexto, um tema particularmente crítico da Lógica e que causa sérias dificuldades aos alunos é a aprendizagem dos processos de dedução formal. Tendo essa questão em vista, o presente trabalho tem por objetivo propor um modelo computacional de mediação apropriado para o ensino da Dedução Natural para a Lógica Proposicional, incorporado na forma de um agente pedagógico que auxilie o aluno em seu processo de aprendizagem, servindo como ferramenta de apoio para esse processo. Este agente é parte de um projeto de pesquisa, denominado Heráclito, que visa integrar e aplicar as tecnologias de Objetos Inteligentes de Aprendizagem e Agentes Pedagógicos no ensino de Lógica.