Nalberthy Sousa da Silva Silva, N. S.

Parcilene Fernandes de Brito Brito, P. F.

Resumo

A Lógica Proposicional compõe um dos conteúdos presentes na Lógica Formal. Há uma série de trabalhos vinculados ao aprendizado de lógica, dentre eles, a plataforma Logic Live. O presente trabalho foi desenvolvido com o objetivo de proporcionar um ambiente de resolução de fórmulas usando as dez regras básicas de inferência do Cálculo Proposicional. O módulo permite a interação do usuário com o ambiente a partir da execução das dez regras, além de permitir a criação de fórmulas livres para treinar suas habilidades na resolução de fórmulas. Este módulo está integrado à plataforma gamificada Logic Live.