Muriel Souza da Cruz Cruz, M. S.

José Henrique Coelho Brandão Brandão, J. H. C.

Vinicius Ozelim Cavichioli Cavichioli, V. O.

Jackson Gomes de Souza Souza, J. G.

Resumo

A incansável manifestação e a evolução dos instrumentos computacionais amplificam a cadeia de possíveis respostas inovadoras decorrente da agregação da computação com as inúmeras áreas do conhecimento. Dentre o espaço que tem ampla junção com a computação, pode-se mencionar a pedagogia principalmente se agregada a lógica de predicados. O presente trabalho tem o objetivo de desenvolver um protótipo de um compilador onde o usuário, para obter as expressões lógicas deverá inserir sentenças que serão submetidos a um processo de tradução e resultam nas expressões do cálculo proposicional. Desta forma o usuário obterá a forma correta do cálculo proposicional.