Pequeno projeto de uma "calculadora" de lógica proposicional.

Repositório utilizado para postar as atividades de que envolvem programação durante o curso de Análise e Desenvolvimento de Sistemas da Fatec Arthur de Azevedo.

Página HTML para verificar a validade de silogismos e determinar suas possíveis conclusões, de acordo com a lógica proposicional aristotélica

A presente ferramenta permite a verificação de proposições por meio da implementação do método Tableaux, também conhecido por 'Árvore Verdade' e bastante utilizado na teoria da prova.