Este projeto refere-se ao processo de gamificação realizado no PROVADOR AUTOMÁTICO DE FÓRMULAS DO CÁLCULO PROPOSICIONAL para integração do Ambiente Gamificado LOGICLIVE
O PROVADOR AUTOMÁTICO DE FÓRMULAS DO CÁLCULO PROPOSICIONAL permite a verificação e construção da árvore de refutação por um processo automático de derivação, ou através da participação do usuário. O processo de derivação resulta numa árvore de objetos e para ser exibida no browser passa por um processo de transformação onde cada nó da árvore assume uma posição X e Y