Erick Willames E. Rodrigues Rodrigues, E. W. E.

Parcilene Fernandes de Brito Brito, P. F.

Resumo

O estudo da Lógica está ligado diretamente ao desenvolvimento do raciocínio computacional e, por este motivo, é essencial para os cursos da área de Tecnologia da Informação (TI). Contudo, existem dificuldades por parte dos alunos no aprendizado deste conteúdo, sendo necessária a criação de ferramentas de auxílio ao aprendizado. Nesta perspectiva, o presente trabalho visa a elaboração do módulo de formalização de argumentos lógicos no contexto da Lógica Proposicional. A criação do módulo, além de ser baseada na estrutura de software da plataforma online de ensino e aprendizado de Lógica – Logic Live, aplica elementos de jogos, prática conhecida como gamificação, com o intuito de obter maior engajamento por parte dos alunos.