Tamanho da fonte: 

Lógica proposicional é um formalismo matemático pelo qual podemos descrever sentenças declarativas a partir de uma linguagem formal composta por um conjunto de regras que busca remover ambiguidades presentes na linguagem natural. Tais sentenças são chamadas de proposições ou enunciados e podem assumir dois valores: verdadeiro ou falso, propriedade esta chamada de valor-verdade. Os estudos de suas aplicações se estendem muito além de meras expressões matemáticas, sendo vastamente utilizadas nos campos da ciência da computação e áreas correlatas, como algoritmos de otimização e análise de circuitos lógicos digitais, portanto, é de interesse didático a facilitação da exposição desse conceito. Este trabalho descreve as etapas de desenvolvimento de um analisador voltado a interpretação da estrutura semântica de expressões lógicas proposicionais com o intuito de atenuar a curva de aprendizado de tais operações, abordando conceitos como máquinas de estados, pilha e fila e algoritmos de análise clássicos como Shunting-yard e Árvores de Resolução Semântica. O resultado final foi uma estrutura de análise de expressões completa implementada em Python de fácil compreensão para estudantes em seu primeiro contato com as etapas de processamento de expressões.

Lógica proposicional. Interpretador; Análise semântica; Teoria da Computação;