Portal de Periódicos da CAPES

NADIA - Natural DeductIon proof Assistant: Um Assistente de provas de Dedução Natural para Lógica Proposicional e Lógica de Predicados

2024; Volume: 32; Linguagem: Português

10.5753/rbie.2024.3249

2317-6121

Davi Romero de Vasconcelos, Maria Viviane de Menezes,

Logic, Reasoning, and Knowledge

A disciplina de Lógica para Computação faz parte da maioria dos cursos de Tecnologia da Informação e Comunicação. O sistema de Dedução Natural é amplamente utilizado para o ensino de demonstrações e este conteúdo consta em muitos dos livros-texto de Lógica. Este trabalho apresenta um assistente de provas, NADIA Natural Deduction Proof Assistant, para o sistema de Dedução Natural em Lógica Proposicional e Lógica de Predicados, no estilo de Fitch (caixas), com a finalidade de auxiliar no ensino-aprendizagem de estudantes de graduação e pós-graduação. NADIA permite que os estudantes escrevam suas demonstrações de forma mais próxima possível das provas que realizam no papel. NADIA verifica automaticamente se a demonstração está correta e, caso contrário, exibe os erros encontrados. Para avaliar a experiência dos estudantes no uso do NADIA realizamos uma avaliação da ferramenta com alunos de turmas semestrais da disciplina de Lógica para Computação que foram ofertadas nos anos de 2021 e 2022.