Diagrama de Allan Marquand no cálculo proposicional

Abstract

Neste artigo, são apresentados resultados decorrentes da exploração do uso do diagrama de Allan Marquand no cálculo proposicional. São descritas a construção e a forma de uso do referido diagrama. Em seguida, apresenta-se a correspondência entre valores de verdade de uma fórmula proposicional e seu respectivo conteúdo lógico no diagrama. Destacam-se as vantagens do uso do diagrama em relação à tabela-verdade, incluindo um comparativo com o problema de Post, em relação à aplicação das propriedades das operações lógicas e, ainda, no que diz respeito à validade de argumentos. Os resultados obtidos permitem concluir que o diagrama de Marquand constitui-se numa poderosa ferramenta no cálculo proposicional, sendo de fácil compreensão e utilização, apresentando diversas vantagens em relação aos métodos clássicos encontrados na literatura.