Última alteração: 2020-11-09
Resumo
A lógica proposicional, assim como o estudo da matemática, engloba diversas áreas de aplicação, cuja finalidade é compor proposições com base na interpretação de sentenças do cotidiano. Desde a aplicação em teoria de circuitos lógicos, até a introdução a operadores fundamentais dentro da matemática discreta, a lógica atrelada a softwares e algoritmos específicos que auxiliam o processo de aprendizado e operação são de grande interesse científico. Para tanto torna-se proveitoso simplificar e operar tais expressões com objetivo de apoderar o aprendizado e a solução de problemas relacionados a proposições lógicas. Por isso utilizando Python em função da sua larga escala de aplicação e curva atenuada de aprendizado, juntamente com as referências da bibliografia clássica, foi implementado um analisador sintático de um interpretador genérico da lógica proposicional que tem como intuito ser utilizado como recurso didático. Como resultado, foi estruturado geradores para condução de testes de validação para avaliar a corretude do algoritmo implementado.